Includes bibliogr. Thesis (Ph.D. in Engineering) : Tallinn University of Technology, 2008. Autori CV eesti ja inglise keeles lk. 168-169. Ka eestikeelse tiitellehega
Lühikokkuvõte: Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
Kättesaadav ka võrguteavikuna