Slajdy escjava-slides.pdf oraz zadania Bag.java i Amount.java pochodzą ze strony
domowej Erika Polla  

http://www.cs.ru.nl/~erikpoll/Teaching/JML/

W razie problemów pomocna może się okazać sekcja 0 w manualu ESCJava.