A toolset to support the construction and animation of formal specifications (1998)

by I Morrey, J Siddiqi, R Hibberd, G Buckberry
Venue:Journal of Systems and Software