An algebraic de of simulation between programs (1971)

by R Milner
Venue:Proc. 2nd Internat. Joint Conf. on Arti Intelligence, British Comp. Soc