An authoring tool for informal and formal requirements speci (2002)

by R-D Kutsche