Return to Article Details Energiautomater, energifunktioner og Kleene-algebra Download Download PDF