Bruno Courcelle Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution. 131-180 1979 13 Mathematical Systems Theory db/journals/mst/mst13.html#Courcelle79