The Specification of Computer Programs

Władysław Turski , Tom Maibaum