Advances in formal design method for CAD - John Gero (London: Chapman and Hall, 1996)
Keywords: Advances in formal design method for CAD