ON A FINITE AXIOMATIZATION OF THE DATA TYPE L.SUBRAHMANYAM PA.1978; SIGPLAN NOT.; U.S.A.; DA. 1978; VOL. 13; NO 4; PP. 80-84; BIBL. 10 REF.Article

NONDETERMINISM IN ABSTRACT DATA TYPESSUBRAHMANYAM PA.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 148-164; BIBL. 12 REF.Conference Paper

ON COMPATIBILITY MEASURES FOR ABSTRACT DATA TYPESSUBRAHMANYAM PA; KIEBURTZ RB.1978; CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS. 12/1978-03-29/BALTIMORE; USA; BALTIMORE: JOHNS HOPKINS UNIVERSITY; DA. 1978; PP. 310-315; BIBL. 12 REF.Conference Paper