1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Back, R.J., Wright, J.: Refinement Calculus: A Systematic Introduction. Springer (2012)
3. Back, R.: On correct refinement of programs. J. Comput. Syst. Sci. 23(1), 49–68 (1981)
4. Bobot, F., Filliâtre, J.C., Marché, C., Paskevich, A.: Why3: shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, Wrocław, pp. 53–64, August 2011.
https://hal.inria.fr/hal-00790310
5. Breiman, L.: Random forests. Mach. Learn. 45(1), 5–32 (2001)