1. Ábrahám-Mumm, E., Steffen, M., Hannemann, U.: Verification of hybrid systems: Formalization and proof rules in PVS. In: ICECCS 2001, pp. 48–57. IEEE Computer Society (2001)
2. Armstrong, A., Gomes, V.B.F., Struth, G.: Building program construction and verification tools from algebraic principles. Formal Aspects Comput. 28(2), 265–293 (2016)
3. Armstrong, A., Struth, G., Weber, T.: Kleene algebra. Archive of Formal Proofs (2013). https://isa-afp.org/entries/Kleene_Algebra.html
4. Arnol’d, V.I.: Ordinary Differential Equations. Springer, New York (1992)
5. Back, R., von Wright, J.: Refinement Calculus—A Systematic Introduction. Springer, New York (1998)