P. Cong Vinh, “An Introduction to the Book Titled ‘Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification’”, EAI Endorsed Trans Context Aware Syst App, vol. 1, no. 2, p. e6, Dec. 2014.