Introduction to the
Generic
Language
Overview
A First Program