Formal Description of Programming Concepts-III - Wirsing, Martin, 1948- (Elsevier Science Publishers, 1987)