Formal specification and decision support. - Paul J. Krause; Patrick J. Byers; Saki Hajnal (Decis. Support Syst., 1994)