Aaron, Metaxas, Ivančić, Sokolsky, 2001. A Framework for Reasoning About Animation Systems, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-44812-8_5