From programs to Z speci cations (1989)

by K C Lano, P T Breuer
Venue:Workshops in Computing