Home›Books›Carroll MorganCarroll MorganNo biography available.Works (3)Mathematics of program constructionOn the refinement calculusProgramming from specifications1990