M Schellekens - A Modular Calculus for the Average Cost of Data …, 2008 - Springer
… In specifying MOQA we stay close in spirit to the basic imperative languages discussed in …
-loops, which we refer to as MOQA . Its extension by while-loops will be referred to as MOQA∗ …