Standards - Books - Bart Verbrugge - Remko van der Pols