Karl Meinke L. J. Steggles Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. 189-222 1993 conf/hoa/1993 HOA db/conf/hoa/hoa93.html#MeinkeS93