6.4.2　Recursive Definition and Specification Principles of Hybrid APTC with Localities