ETH 87-001 (October 16, 1987)

Linked as: