The spine of software : designing provably correct software : theory and practice or a mathematical introduction to the semantics of computer programs - Baber, Robert Laurence (Chichester : John Wiley & Sons, 1987)
Bibliography: p.302-305
Keywords: Computer software -- Development; Electronic digital computers -- Programming