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