“…Some others are functional, like MinimL [21], minCaml [31] and Sarkar et al's [33,34] (subset of Scheme). But the most are imperative/structured, much of them subsets of Pascal (or Pascal-like) like Resler and Deaver's example [20] (Pascal-like), Language X [35] (subset of Pascal), Niklaus Wirth's PL/0 [22] (subset of Pascal), Niklaus Wirth's Oberon [36] (Pascal-like), and SimplePascal [24]. Also there is another, C-like [18], and also compilers for another imperative languages [4].…”