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