5.4.2　Recursive Definition and Specification Principles of Hybrid APTC