A theory of program correctness with three valued logic. - Clive Andrew Jervis (1988)