Krasnyánszki, Kálmán (1976) A programhelyesség bizonyításának módszerei VDL programok vertifikálása. Masters, József Attila Tudományegyetem.