Formal specification and decision support Authors: Krause, Paul J.; Byers, Patrick J.; Hajnal, Saki Journal: Decision Support Systems (1994) DOI: 10.1016/0167-9236(94)90003-5 View in Otero