GROUP FOR LOGIC AND FORMAL SEMANTICS
SOFTWARE
Prisoner's Dilemma
Real Life Java
more software at
www.ptft.org