+<?xml version="1.0"?>
+
+<!DOCTYPE people [
+ <!ELEMENT people (from*)>
+ <!ELEMENT from (person*)>
+ <!ATTLIST from
+ site CDATA #REQUIRED>
+ <!ELEMENT person EMPTY>
+ <!ATTLIST person
+ file CDATA #REQUIRED>
+]>
+
+<people>
+ <from site="aei">
+ <person file="schutz"/>
+ <person file="wegner"/>
+ <person file="kelley"/>
+ <person file="velden"/>
+ </from>
+ <from site="bologna">
+ <person file="asperti"/>
+ <person file="guidi"/>
+ <person file="padovani"/>
+ <person file="sacerdoti"/>
+ <person file="schena"/>
+ </from>
+ <from site="dfki">
+ <person file="siekmann"/>
+ <person file="kohlhase"/>
+ <person file="melis"/>
+ </from>
+ <from site="inria">
+ <person file="herbelin"/>
+ <person file="amerkad"/>
+ <person file="bertot"/>
+ <person file="chicli"/>
+ <person file="delahaye"/>
+ <person file="naciri"/>
+ <person file="pottier"/>
+ <person file="rideau"/>
+ <person file="thery"/>
+ </from>
+ <from site="nijmegen">
+ <person file="geuvers"/>
+ <person file="cohen"/>
+ <person file="barendregt"/>
+ <person file="wiedijk"/>
+ <person file="barreiro"/>
+ <person file="cruz-filipe"/>
+ <person file="niqui"/>
+ <person file="stein"/>
+ <person file="synek"/>
+ </from>
+ <from site="trusted-logic">
+ <person file="bolignano"/>
+ </from>
+</people>