Arnold, A. (1994). Construction and analysis of transition systems with mec. World Scientific.
Παραπομπή Chicago StyleArnold, André. Construction and Analysis of Transition Systems With Mec. World Scientific, 1994.
Παραπομπή MLAArnold, André. Construction and Analysis of Transition Systems With Mec. World Scientific, 1994.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.