Michel Sintzoff Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). 1-2 1996 26 Sci. Comput. Program. 1-3 db/journals/scp/scp26.html#Sintzoff96