Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications Publication Type: Journal Article Authors: Karen L. Heninger Source: IEEE Transactions on Software Engineering , Volume 6, Issue 1, p.2–13 (1980)
