SMS: Computer-Aided System Engineering and Analysis (CASE/A) programmer's manual, version 5 / J. Knox, editor.