Title: Information Systems and Computing Technology / Edition 1, Author: Lei Zhang
Title: Computer-aided Specification Techniques, Author: Janos Demetrovics