U. Dahl and J. Gunnarsson Payne, “Introduction”, lambda, vol. 19, no. 3-4, pp. 11-28, 1.