Semantika programskih jezika u konstruktivnoj teoriji tipova : disertacija - Rosenzweig, Dean (D. Rosenzweig, 1988)