Today I went to see Ralf Lämmel at the CWI and we had a very useful meeting. We looked into the Haskell design method I found a few days ago and discussed the paper in general.

I took some pictures when going to the CWI (click on 'Read More').

	The CWI is located almost outside Amsterdam.
	Art.
	When I came into the library and said that I'm coming to pick up a book, the response was: "Oh, then you must be Mr. Bosman".
	Christmas-party invitation -- mathematician's style.
	'For reasons of hygiene this toilet is monitored by videos'.