Pierangelo Miglioli, Mario Ornaghi. A logically justified model of computation II. Fundamenta Informaticae, 4(2):277-342, 1981.
@article{MiglioliO81a, title = {A logically justified model of computation II}, author = {Pierangelo Miglioli and Mario Ornaghi}, year = {1981}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/MiglioliO81a}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {4}, number = {2}, pages = {277-342}, }