An algebraic de of simulation between programs (1971)

by R Milner
Venue:The British Computer Society