Friesen, Aaron Noble.2015-12-312015-12-311987http://hdl.handle.net/2097/22393Call number: LD2668 .T4 CMSC 1987 F74Consistency checking of requirements specifications using structured analysis diagramsTextMasters theses