MAIN http://www.icce.rug.nl/edu/

SELECTED MAN PAGES https://www.icce.rug.nl/edu/1/manpages/

LECTURES https://www.icce.rug.nl/edu/1/beschrijving.shtml

ABBREVIATIONS https://www.icce.rug.nl/edu/1/abbreviations.shtml

TIPS, HINTS AND TRICKS https://www.icce.rug.nl/edu/1/hints.shtml

EXERCISES https://www.icce.rug.nl/edu/1/opgaven.html

RATED EXERCISES https://www.icce.rug.nl/edu/1/results.txt