Merz, S. and Vanzetto, H. (2012) “Harnessing SMT Solvers for TLA+ Proofs”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.766.