TY - BOOK AU - De Bakker, J.K. TI - Mathematics and computer science PY - 1986/// CY - Amsterdam PB - North Holland ER -