People

• Paul De Bra (TUE)
• Patrick Duval (INRIA) ,
• John Caspers (caspers@info.nl) ,
• Derek Hackbardt |,
• Hans van Ditmarsch ,
• Ernest Rotterdam

Dictionaries and encyclopedia

• Webster , Galaxy references