Logika višeg reda i sustav Isabelle : magistarski rad - Ban Kirigin, Tajana (T. Ban Kirigin, 2004)
Na vrhu nasl. str.: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Matematički odjel