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