The specification of computer programs - Turski, Władysław (International computer science series., 1987)