4 <!ELEMENT people (from*)>
5 <!ELEMENT from (person*)>
8 <!ELEMENT person EMPTY>
15 <person file="schutz"/>
16 <person file="wegner"/>
17 <person file="kelley"/>
18 <person file="velden"/>
21 <person file="asperti"/>
22 <person file="guidi"/>
23 <person file="padovani"/>
24 <person file="sacerdoti"/>
25 <person file="schena"/>
28 <person file="siekmann"/>
29 <person file="kohlhase"/>
30 <person file="melis"/>
33 <person file="herbelin"/>
34 <person file="amerkad"/>
35 <person file="bertot"/>
36 <person file="chicli"/>
37 <person file="delahaye"/>
38 <person file="naciri"/>
39 <person file="pottier"/>
40 <person file="rideau"/>
41 <person file="thery"/>
43 <from site="nijmegen">
44 <person file="geuvers"/>
45 <person file="cohen"/>
46 <person file="barendregt"/>
47 <person file="wiedijk"/>
48 <person file="barreiro"/>
49 <person file="cruz-filipe"/>
50 <person file="niqui"/>
51 <person file="stein"/>
52 <person file="synek"/>
54 <from site="trusted-logic">
55 <person file="bolignano"/>