Prolog implementation of a graphic tool for generation of Ada language specifications - Cheng, Spencer Shu-tsu. (My University, 1987)
Call number: LD2668 .R4 CMSC 1987 C533
Keywords: Masters theses