An algebraic denition of simulation between programs (1971)

by R Milner
Venue:In: Int. Joint Conf. on Artificial Intelligence, British Computer Society