@book{ Solr-EB000654048, title = {International Symposium on Theoretical Programming}, series = {Lecture Notes in Computer Science}, editor = {Ershov, A.}, editor = {Nepomniaschy, V.A.}, address = {Berlin, Heidelberg}, publisher = {Springer Berlin Heidelberg}, year = {1974}, edition = {1st ed. 1974}, pages = {407}, isbn = {9783540380122}, url = {https://doi.org/10.1007/3-540-06720-5?nosfx=y} }