FAHRENBERG, U.; LARSEN, K. G. Energiautomater, energifunktioner og Kleene-algebra. Norsk IKT-konferanse for forskning og utdanning, [S. l.], 2018. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/5383. Acesso em: 23 nov. 2024.