Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu: Extending VLSI design with higher-order logic. ICCD 1995: 85-94