The specification of computer programs
Turski, Władisław M.(Władisław Marek)1938-
Maibaum, Thomas S. E.,1947-
Wokingham Addison-Wesley
1987
Bibliography: p272-274. - Includes index
Electronic digital computers