Service independent building blocks-I; concepts, examples and formal specifications / A.S. Klusener, B. van Vlijmen, A. van WaverenThe safety guaranteeing system at station Hoorn-Kersenboogerd / J.F. Groote, J.W.C. Koorn, S.F.M. van VlijmenModal logic for →m⇋CRL / J.F. Groote, S.F.M. van VlijmenUsing the tools in TRADE / Vrije Universiteit, Amsterdam. Faculteit der Wiskunde en InformaticaUsing the tools in TRADE / Universiteit Utrecht. Faculteit der WijsbegeerteTheoretische software-engineering : kenmerken, faseringen en classificaties / J.A. Bergstra en S.F.M. van VlijmenErasmus en de vrije val in de techniek : tien visies op denken en doen in een kunstmatige wereld / Bas van Vlijmen (red.) ; met bijdragen van: Chris Aalberts ... [et al.]Erasmus and the free fall in technology : ten perspectives on thought and action in an artificial world / Bas van Vlijmen (ed.) ; contributors: Chris Aalberts ... [et al.] ; transl. from the Dutch: Penny Sandford and Wiesje WijngaardenErasmus en de vrije val in de techniek : tien visies op denken en doen in een kunstmatige wereld / Bas van Vlijmen (red.) ; met bijdragen van: Chris Aalberts ... [et al.]Computerpioniers : het begin van het computertijdperk in Nederland / Gerard Alberts en Bas van VlijmenComputerpioniers : het begin van het computertijdperk in Nederland / Gerard Alberts en Bas van VlijmenComputerpioniers : het begin van het computertijdperk in Nederland / Gerard Alberts en Bas van Vlijmen