Data & knowledge engineering (North-Holland, Elsevier Science Publishers, 1985)