Towards a Proof Method for Paradigm. - L. P. J. Groenewegen; Ruurd Kuiper 001; Erik P. de Vink (Theory and Practice of Formal Methods, 2016)