Higher-order patterns. Available as www-staff.it. uts.edu.au/~cbj/Publications/higher_order_patterns.pdf (2004)

by C Barry Jay