1. The ABS Development Team. ABS Documentation.
http://docs.abs-models.org
2. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book, vol. 10001. Springer, Heidelberg (2016).
https://doi.org/10.1007/978-3-319-49812-6
3. Lecture Notes in Computer Science;T-C Chen,2016
4. de Boer, F.S., Serbanescu, V., Hähnle, R., Henrio, L., Rochas, J., Din, C.C., Johnsen, E.B., Sirjani, M., Khamespanah, E., Fernandez-Reyes, K., Yang, A.M.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1–76:39 (2017)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);CC Din,2015