Title: Software Abstractions, revised edition: Logic, Language, and Analysis / Edition 2, Author: Daniel Jackson
Title: M: Information Systems / Edition 4, Author: Paige Baltzan Instructor