Program construction : calculating implementations from specifications /
Backhouse, Roland C.(Roland Carl),1948-
Chichester : Wiley,
c2003.
Includes bibliographical references and index.
Computer programming.