U. Fahrenberg and K. G. Larsen, “Energiautomater, energifunktioner og Kleene-algebra”, NIKT, Aug. 2018.