Fahrenberg, U., & Larsen, K. G. (2018). Energiautomater, energifunktioner og Kleene-algebra. Norsk IKT-Konferanse for Forskning Og Utdanning. Retrieved from https://www.ntnu.no/ojs/index.php/nikt/article/view/5383