Semantics and Axiomatics of a Simple Recursive Language

Bruno Courcelle, Jean Vuillemin

Browse the full STOC paper archive.