An algebraic definition of simulation between programs (1971)

by R Milner
Venue:In 2nd International Joint Conference on Artifical Intelligence (IJCAI