S. Böcher, “J. Douglas Porteous: Canal Ports”., gt, bd. 77, jan. 1978.