Title: Feature Interactions in Telecommunications III / Edition 1, Author: K. E. Cheng
Title: Engineering Theories of Software Construction, Author: Tony Hoare