[Rochus]

This is a cool system and well documented (book + software). Here is a version ported to the Micron language (a Pascal/Oberon derivative): https://github.com/rochus-keller/Micron/tree/master/testcase....