Revising Z: II - infrastructural development. Formal Aspects of Computing Journal (1999)

by M C Henson, S Reeves