Cong Vinh, P. “An Introduction to the Book Titled ‘Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification’”. EAI Endorsed Transactions on Context-Aware Systems and Applications, vol. 1, no. 2, Dec. 2014, p. e6, doi:10.4108/casa.1.2.e6.