An algebraic definition of simulation between programs (1971)

by R Milner
Venue:in Int’l. Joint Conference on Artificial Intelligence