The specification of computer programs - Turski, W adys aw (Addison-Wesley, 1987)