The Gentle Compiler Construction System
At first you may have a look at some small Gentle specifications that demonstrate the most fundamental concepts.
A Parser for Expressions
Translating Concrete Syntax into Abstract Syntax
Here is a complete compiler for a small but non-trivial language:
has been defined for courses on compiler construction and has been used as test for several compiler construction systems.
The Source Language
The Target Machine