Rai practical presentations.
Central Potentials
Introducing Static Semantic Analysis to Templates Using JastAdd