Specifying Reusable Components Using Z: Realistic Sets and Dictionaries (1989)

by R L London
Venue:ACM SIGSOFT Software Engineering Notes