An algebraic definition of simulation between programs (1971)

by Robin Milner
Venue:In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI