List View
 |   | 
   web
Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64