Unraveling a Card Trick
Tony Hoare and Natarajan Shankar
Book Title
Time for Verification‚ Essays in Memory of Amir Pnueli
Editor
Zohar Manna and Doron Peled
Pages
195−201
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6200
Year
2010