Proof Rules for the Programming Language (1978)

by w m Confer London, R L
Venue:Euclid,” && Informaa