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