Arnold, A. (1994). Construction and analysis of transition systems with mec. World Scientific.
Trích dẫn kiểu ChicagoArnold, André. Construction and Analysis of Transition Systems With Mec. World Scientific, 1994.
Trích dẫn MLAArnold, André. Construction and Analysis of Transition Systems With Mec. World Scientific, 1994.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.