Programming in Alma-0, or Imperative and Declarative Programming Reconciled - Apt, Krzysztof R (arXiv.org)