Translating VDM specifications into ABC programs. - Aaron Kans; Clive Hayton (Inf. Softw. Technol., 1994)

Using ABC To Prototype VDM Specifications. - Aaron Kans; Clive Hayton (ACM SIGPLAN Notices, 1994)

From VDM to ABC : a pragmatic approach to formal software development. - Aaron Kans (1996)

Java in Two Semesters - Featuring JavaFX, 4th Edition - Quentin Charatan; Aaron Kans (Springer, 2019)

CODI - A Web Application to Facilitate Live, Remote Programming Lab Sessions. - Jordan Wathen; Aaron Kans; Gaurav Malik (EDUCON, 2022)

Programming in Two Semesters - Using Python and Java - Quentin Charatan; Aaron Kans (Springer, 2022)