Formal Development of Reactive Systems (1995)

by Claus Lewerentz, Thomas Lindner