Broy Manfred Ed. Mathematical methods in program devlopment - 1997 Standard No.: 86438 Source: Textual Dewey Class. No.: D6,8(B289), N7