Anne Elisabeth Haxthausen Order-sorted Algebraic Specifications with Higher-order Functions. 133-151 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#Haxthausen95