Fahrenberg, Uli, and Kim G. Larsen. “Energiautomater, Energifunktioner Og Kleene-Algebra”. Norsk IKT-konferanse for forskning og utdanning (August 8, 2018). Accessed April 9, 2025. https://www.ntnu.no/ojs/index.php/nikt/article/view/5383.