Code-carrying theory. - Aytekin Vargun (2006)

Code-carrying theory. - Aytekin Vargun; David R. Musser (SAC, 2008)

Consistency checking for automatic software generation. - Aytekin Vargun (ISCIS, 2009)