Formally Specifying the Logic of an Automatic Guidance Controller. - Guaspari, David (1991)