Return to Article Details From Natural Semantics to Abstract Machines Download Download PDF