Semantika programskih jezika u konstruktivnoj teoriji tipova : disertacija - Rosenzweig, Dean (D. Rosenzweig, 1988)
Na vrhu nasl. str.: Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu