Computerprogramma's : hun semantiek in AUTOMATH : een vergelijking tussen ideeën van N.G. de Bruijn uit 1973 en de uitwerking daarvan door R. Wieringa