Al-Ali, Khaled Ali Dawoud.2015-12-312015-12-311989http://hdl.handle.net/2097/22466Call number: LD2668 .T4 CMSC 1989 A43The safety of logical structuresTextMasters theses