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