B. Nuseibeh. IWSSD '96: Proceedings of the 8th International Workshop on Software Specification and Design, Washington, DC, USA, IEEE Computer Society, (1996)
R. Balzer. ICSE '91: Proceedings of the 13th international conference on Software engineering, page 158--165. Los Alamitos, CA, USA, IEEE Computer Society Press, (1991)