M. Iversen, K. Kristiansen, and P. Otto, “Book Chronicle 1990”, JDA, vol. 9, pp. 223–224, Jun. 1990.