Using Stepwise Feature Introduction in Practice: An Experience Report. - Ralph-Johan Back; Johannes Eriksson; Luka Milovanov (RISE, 2005)

Testing and Verifying Invariant Based Programs in the SOCOS Environment. - Ralph-Johan Back; Johannes Eriksson; Magnus Myreen (TAP, 2007)

Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. - Johannes Eriksson; Ralph-Johan Back (ICFEM, 2010)

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support - Ralph-Johan Back; Johannes Eriksson (ThEdu, 2011)

Proofs and Refutations in Invariant-Based Programming. - Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back (IFM, 2014)

Verification and code generation for invariant diagrams in Isabelle. - Viorel Preoteasa; Ralph-Johan Back; Johannes Eriksson (J. Log. Algebraic Methods Program., 2015)

A Precise Pictorial Language for Array Invariants. - Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back (IFM, 2018)

A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. - Johannes Eriksson; Masoumeh Parsa (PADL, 2020)