The formal method known as B and a sketch for its implementation (2002)

by A J Kaijanaho
Venue:Czechoslovak Mathematical Journal