Jörg-Rüdiger Sack Thomas Strothotte A Characterization of Heaps and Its Applications 69-86 Inf. Comput. May 1990 86 1 db/journals/iandc/iandc86.html#StrothotteS90