Programming the impossible challenge - Walraet, Bob (North-Holland, 1988)