An extended abstract data type specification mechanism - Mathkour, Hassan Ismail (University of Iowa, Dept. of Computer Science, 1986)
Also issued as a Ph. D. thesis, University of Iowa, 1986