3 <!DOCTYPE publication SYSTEM "publication.dtd">
6 <title>Categories, Types and Structures. An introduction to Category
7 Theory for the Working Computer Scientist.</title>
8 <author file="bologna/asperti"/>
11 <surname>Longo</surname>
13 <where>Foundation of Computing Series, Massachusetts Institute of Technology
14 Press, ISBN 0 262 01125-5, 1991</where>