Formal Design Methods for Cad Hardcover