Soon-Kyeong Kim, David A. Carrington. A Rigorous Foundation for Pattern-Based Design Models. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 242-261, Springer, 2005.
Abstract is missing.