zedB: A proof tool for Z built on B (1992)

by D S Neilson, D Prasad
Venue:in Nicholls