Logical derivation of computer programs /
Windeknecht, Thomas G.(Thomas George),1935-
Exeter : Intellect,
c1999.
Computer programming
Computer programming