The test files in this directory are based on the examples from the 2010 Journal paper "Deconstructing the semantics of big-step modelling languages" by Shahram Esmaeilsabzali, Nancy A. Day, Jo Atlee and Jianwei Niu.
