Automatic compiler generation from natural semantics specifications. - Stephen Walter McKeever (2002)