H. Stiesdal, “English Summaries”, Hikuin, no. 9, pp. 279–288, Mar. 1983.