TY  - RPRT
TI  - The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
AU  - Krzysztof R. Apt
AU  - Andrea Schaerf
PY  - 1999
UR  - https://arxiv.org/abs/cs/9907027
ID  - cs/9907027
ER  -