Advances in Formal Design Methods for CAD - Fay Sudweeks - E-bok | Bokus