Advances in Formal Design Methods for Computer-Aided Design [chapter]

John Gero
1996 Advances in Formal Design Methods for CAD  
doi:10.1007/978-0-387-34925-1_17 fatcat:wl7jg6l6qnbhxabmhxek2gjyuq