Semantička analiza istodobnih logičkih programskih jezika : magistarski rad - Glavan, Paola (P. Glavan, 1992)
Na vrhu nasl. str.: Svučilište u Zagrebu, Matematički odjel, Prirodoslovno matematički fakultet