Hans Langmaack. On a theory of decision problems in programming languages. In Edward K. Blum, Manfred Paul, Satoru Takasu, editors, Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Volume 75 of Lecture Notes in Computer Science, pages 538-558, Springer, 1978.
@inproceedings{Langmaack78, title = {On a theory of decision problems in programming languages}, author = {Hans Langmaack}, year = {1978}, tags = {programming languages, programming}, researchr = {https://researchr.org/publication/Langmaack78}, cites = {0}, citedby = {0}, pages = {538-558}, booktitle = {Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978}, editor = {Edward K. Blum and Manfred Paul and Satoru Takasu}, volume = {75}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-09541-1}, }