+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE publication SYSTEM "publication.dtd">
-
-<publication>
- <title>Categories, Types and Structures. An introduction to Category
- Theory for the Working Computer Scientist.</title>
- <author file="bologna/asperti"/>
- <author>
- <name>Giuseppe</name>
- <surname>Longo</surname>
- </author>
- <where>Foundation of Computing Series, Massachusetts Institute of Technology
- Press, ISBN 0 262 01125-5, 1991</where>
-</publication>