Geometric Logic as a Speci Language, Theory and Formal Methods '94 (1995)

by S J Vickers
Venue:Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods