Fahrenberg, Uli, and Kim G. Larsen. 2018. “Energiautomater, Energifunktioner Og Kleene-Algebra”. Norsk IKT-Konferanse for Forskning Og Utdanning, August. https://www.ntnu.no/ojs/index.php/nikt/article/view/5383.