Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

Links constructive software development to traditional problem-solving methods

Not dependent on any particular specification language, but is based instead on their common core