6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedings
Matthes, Ralph
;
Uustalu, Tarmo
2009
https://www.ester.ee/record=b2506216*est