A study of abstract syntax notation 1. : value processing. - Graeme Richard Smith (1992)