4 <!ELEMENT people (from*)>
5 <!ELEMENT from (person*)>
8 <!ELEMENT person EMPTY>
15 <person file="asperti"/>
16 <person file="guidi"/>
17 <person file="padovani"/>
18 <person file="sacerdoti"/>
19 <person file="schena"/>
22 <person file="herbelin"/>
23 <person file="amerkad"/>
24 <person file="bertot"/>
25 <person file="chicli"/>
26 <person file="delahaye"/>
27 <person file="naciri"/>
28 <person file="pottier"/>
29 <person file="rideau"/>
30 <person file="thery"/>
31 <person file="werner"/>
34 <person file="siekmann"/>
35 <person file="kohlhase"/>
36 <person file="melis"/>
37 <person file="moschner"/>
38 <person file="goguadze"/>
39 <person file="libbrecht"/>
41 <from site="nijmegen">
42 <person file="geuvers"/>
43 <person file="cohen"/>
44 <person file="barendregt"/>
45 <person file="wiedijk"/>
46 <person file="barreiro"/>
47 <person file="cruz-filipe"/>
48 <person file="niqui"/>
49 <person file="stein"/>
50 <person file="synek"/>
53 <person file="schutz"/>
54 <person file="wegner"/>
55 <person file="pollney"/>
56 <person file="kelley"/>
57 <person file="velden"/>
58 <person file="weyher"/>
60 <from site="trusted-logic">
61 <person file="bolignano"/>
62 <person file="gimenez"/>