Microsoft visual basic 2010: for windows, web, and office applications completeby Gary B. Shelly,
Software abstractions: logic, language, and analysisby Daniel Jackson, 2012