Fahrenberg, U. and Larsen, K.G. 2018. Energiautomater, energifunktioner og Kleene-algebra. Norsk IKT-konferanse for forskning og utdanning. (Aug. 2018).