Elements of a theory of simulationSteen Rasmussen, Christopher L. Barrett|Lecture notes in computer science|1995Cited by 33