کتاب های Carroll Morgan
On the Refinement Calculus
Carroll Morgan (auth.), 1994
Program Design Calculi
Carroll Morgan (auth.), 1993
Programming from Specifications
Carroll Morgan
