Pauly, Marc "Programming and Verifying Subgame Perfect Mechanisms"
(2002)
Languages mentioned
WHILE
{2002}