Aggregates: a software design method and its application to a family of transitive closure algorithms the research reported in this paper was partially supported by the Sonderforschungsbereich 49 in Munich ... - Bayer, Rudolf (1974)