Decision based examination of object-oritented methodology using JML. Márien, Szabolcs — 2008 Annales Mathematicae et Informaticae