ETAPS program extended
Example preprint added
Merge pull request #8 from dbeyer/master

ETAPS program extended