Proof rules for the programming language Euclid (1978)

by R L London, J V Guttag, J J Horning, B W Lampson, J G Mitchell, G J Popek
Venue:Acta Inf