https://9lib.org/document/yd7e625e-jade-java-agentkwiatkowska-m-and-swierczewski-l.html