An extended abstract data type specification mechanism - Mathkour, Hassan Ismail (Iowa City, Iowa : University of Iowa, Dept. of Computer Science, 1986)
Also issued as a Ph. D. thesis, University of Iowa, 1986
Bibliography: p. 234-237
1
Keywords: Abstract data types (Computer science); Formal languages; Programming languages (Electronic computers)