Cong Vinh, Phan. 2014. “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 1 (2):e6. https://doi.org/10.4108/casa.1.2.e6.