Title: Requirements Engineering Fundamentals: A Study Guide for the Certified Professional for Requirements Engineering Exam - Foundation Level - IREB compliant / Edition 2, Author: Klaus Pohl
Title: Software Abstractions, revised edition: Logic, Language, and Analysis / Edition 2, Author: Daniel Jackson