Teodor Rus
The Univ. of Iowa, Iowa City
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
A sketch-based technique for the derivation of self-interpreters
Computer Languages