The Algebraic Semantics of Recursive Program Schemes.

Bruno Courcelle, Maurice Nivat

Browse the full MFCS paper archive.