@inproceedings{fdb60,
  author    = {Groenewegen, L.P.J. and Kuiper, R. and Vink, E.P. de},
  title     = {Towards a Proof Method for {Paradigm}},
  booktitle = {Theory and Practice of Formal Methods -- Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
  editor    = {E. {\'{A}}brah{\'{a}}m and M.M. Bonsangue and E.B. Johnsen},
  publisher = {LNCS 9660},
  year      = {2016},
  pages     = {242--260},
  doi       = {10.1007/978-3-319-30734-3_17},
}