Type Capabilities for Object-Oriented Programming Languages. - Xi Wu 005; Yi Lu 003; Patrick A. Meiring; Ian J. Hayes; Larissa A. Meinicke (ICFEM, 2018)

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. - Ian J. Hayes; Larissa A. Meinicke; Patrick A. Meiring (CoRR, 2021)