Daniel J. Lehmann: Categories for fixpoint semantics. University of Warwick, Coventry, UK 1976