Cremers, C. Dutch from Logic (and Back). Proceedings of the AC 2009, 81-86.