1995

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