Jaap-Henk Hoepman John Tromp Binary Snapshots. 18-25 1993 conf/wdag/1993 WDAG db/conf/wdag/wdag93.html#HoepmanT93 http://dx.doi.org/10.1007/3-540-57271-6_24