Formal Development of Reactive Systems (1995)

by C Lewerentz, T Lindner