Fahrenberg, U.; Larsen, K. G. Energiautomater, Energifunktioner Og Kleene-Algebra. NIKT 2018.