Constructing correct software the basics - Cooke John (London Springer-Verlag, 1998)
Keywords: Computer software; Computer software-development