TY - RPRT TI - IDEF3 formalization report AU - Menzel, Christopher AU - Mayer, Richard J. AU - Edwards, Douglas D. PY - 1991 UR - https://ntrs.nasa.gov/citations/19920016163 ID - 19920016163 ER -