W : A Logic for Z (1991)

by J Woodcock, S Brien
Venue:University of York