Excerpta Informatica An abstract journal of recent literature in automation (Tilburg University Press, 1985)