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.