author : Wladyslaw M. Turski

Books

• The Specification of Computer Programs. 1987, with Thomas S. E. Maibaum