S. Greenspan, J. Mylopoulos, and A. Borgida. International conference on Software engineering, page 135--147. Los Alamitos, CA, USA, IEEE Computer Society Press, (1994)
S. Greenspan, J. Mylopoulos, and A. Borgida. International conference on Software engineering, page 225--234. Tokyo, IEEE Computer Society Press, (1982)