Wladyslaw M. Turski
Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warsaw, Poland/ E-mail: wmt@mimuw.edu.pl
Specification of computer programs