Glossary of Z notation (1995)

by J P Bowen
Venue:Information and Software Technology