The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming - Apt, Krzysztof R (arXiv.org)