@inproceedings{b1093ce30e0840799b6aeb32d1b3fc16,
title = "A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot",
author = "Jos{\'e} Meseguer",
note = "Funding Information: *Supported in part by Office of Naval Research contract No. N00014-80-C-0296; 1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981 ; Conference date: 19-04-1981 Through 25-04-1981",
year = "1981",
doi = "10.1007/3-540-10699-5_96",
language = "English (US)",
isbn = "9783540106999",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "152--168",
editor = "Josep D{\'i}az and Isidro Ramos",
booktitle = "Formalization of Programming Concepts - International Colloquium, Proceedings",
address = "Germany",
}