Specification and verification of data-driven web applications (2007)

by Alin Deutsch, Liying Sui, Victor Vianu
Venue:J. of Computer and System Sciences