• Koen Rutten
  The suitability of CRSX for transformations on Haskell
  Bachelor Thesis, September 20, 2012
  (PDF at Utrecht University Student Theses Repository, PDF of local copy)
  co-supervision with Kristoffer H. Rose (BM Thomas J. Watson Research Center
  
  
• Marian Haselrieder
  Floyd and Warshall meet Kleene
  Bachelor Thesis, September 10, 2020
  (PDF at Computational Logic group of Universität Innsbruck, PDF of local copy, WebApp)