Integrated Structured Analysis and Formal Specification Techniques (1992)

by L T Semmens, R B France, T W G Docker
Venue:The Computer Journal