Collected works of Leif Johansen (North-Holland, 1987)