"Coalgebraic Semantics of Heavy-Weighted Automata."

Marie Fortin, Marcello M. Bonsangue, Jan Rutten (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics