Title: Computer-aided Specification Techniques, Author: Janos Demetrovics
Title: PTC CreoT Parametric 3.0 / Edition 1, Author: Louis Gary Lamit