The Specification of Computer Programs (1987)

by W M Turski, T S E Maibaum