Constructing Speci and Modules in a KZ-Doctrine, Theory and Formal Methods '94 (1995)

by G Hill
Venue:Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods