Conference proceedings (North-Holland, 1985)