Piotr Kosiuczenko Karl Meinke On the Power of Higher-Order Algebraic Specification Methods. 85-101 1996 124 Inf. Comput. 1 db/journals/iandc/iandc124.html#KosiuczenkoM96