Geometric logic as a specification language (1995)

by S J Vickers
Venue:in: Hankin, Mackie and Nagarajan (eds), Theory and Formal Methods of Computing