Proceedings of the ninth ACM symposium on Solid modeling and applications
ACM Digital Library