Jensen, K., Kyng, M. and Madsen, O.L. 1981. A Petri Net Definition of a System Description Language. DAIMI Report Series. 8, 96 (Nov. 1981). DOI:https://doi.org/10.7146/dpb.v8i96.6512.