Robert Glück Andrei V. Klimov Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. 112-123 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#GluckK93