The specification of computer programs (1987)

by W M Turski, T S E Maibaum