6 papers:
LDTA-2010-JohnstoneS- Tear-Insert-Fold grammars (AJ, ES), p. 6.
SEFM-2006-MarcheR #behaviour #java #transaction #verification- Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
FASE-2004-HubbersP #java #reasoning #transaction- Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
ICPR-v4-2004-CorriganK- Diagnosis and Treatment of Film Tear in Degraded Archived Media (DC, ACK), pp. 779–782.
HT-1999-Walker- Piecing Together and Tearing Apart: Finding the Story in Afternoon (JW), pp. 111–117.
ICFP-1999-BentonK #java- Interlanguage Working Without Tears: Blending SML with Java (NB, AK), pp. 126–137.
