Informatica een theoretische inl. door Groenewegen