Special issue on mathematics of program construction (North-Holland, 1990)
In: Science of computer programming. Vol. 14, Nos. 2/3, 1990