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