TY  - RPRT
TI  - Initiating Formal Requirements Specifications with Object-Oriented Models
AU  - Ampo, Yoko
AU  - Lutz, Robyn R.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20060038507
ID  - 20060038507
ER  -