Logical Derivation Of Computer Programs door Thomas G. Windeknecht