John S. Gourlay;William C. Rounds;Richard Statman
-;-;-
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inference from models of software systems
Journal of Systems and Software