Hernádi Ágnes: A típus fogalma, és szerepe a modellezésben absztrakt adattípusok alkalmazásának új elveiről (SZTAKI Tanulmányok 190/1986)
Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutató Intézete A TÍPUS FOGALMA, ÉS SZEREPE A MODELLEZÉSBEN ABSZTRAKT ADATTÍPUSOK ALKALMAZÁSÁNAK ÚJ ELVEIRŐL HERNÁDI ÁGNES Tanulmányok 190/1986