Authors: MANNINO MV RATHNAM S CHOI IJ TSENG V

Citation: Mv. Mannino et al., FORMAL MODELING OF COMPLEX COMMANDS IN INDUSTRIAL SOFTWARE SPECIFICATIONS, Information systems research, 5(3), 1994, pp. 249-274