Science of Computer Programming, Volume 14

Volume 14, Number 1, June 1990

Volume 14, Numbers 2-3, October 1990

Special Issue on Mathematics of Program Construction