An extended abstract data type specification mechanism - Mathkour, Hassan Ismail (Technical report. University of Iowa. Dept. of Computer Science ;, 1986)