Cheng, Spencer Shu-tsu.2015-12-312015-12-311987http://hdl.handle.net/2097/23657Call number: LD2668 .R4 CMSC 1987 C533Prolog implementation of a graphic tool for generation of Ada language specificationsTextMasters theses