Algebraische specificaties by Hans Bouma