Don S. Batory, Jia Liu, Jacob Neal Sarvela. Refinements and multi-dimensional separation of concerns. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 48-57, ACM, 2003. [doi]
Abstract is missing.