1. Types for safe locking: static race detection for Java;Abadi;ACM Trans. Program. Lang. Syst.,2006
2. Checking JML-encoded finite state machine properties;Ahmed,2018
3. The Plaid language: Typed core specification;Aldrich,2012
4. Plaid: a permission-based programming language;Aldrich,2011
5. Typestate-oriented Programming;Aldrich,2009