Enrico Tronci. "Defining Data Structures via BÃ¶hm-Out." J. Funct. Program. 5, no. 1 (1995): 51–64. DOI: 10.1017/S0956796800001234.