Towards a Theory of Recursive Structures (extended abstract).

David Harel

Browse the full LFCS paper archive.