Formal Development of reactive systems (1995)

by C Lewerentz, T Lindner
Venue:of Lecture Notes in Computer Science