Văn bản này: Controlled (Z,Q)-machines /