Ada Requirements Methodology (ARM). - Phillip Crews; Darrell L. Ward; Jerry Mungle (ACM Annual Conference, 1982)