Paul Singleton, Pearl Brereton: A Case for Declarative Programming-in-the-Large. SEKE 1993: 360-362