"PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS". مجلة الهندسة, م 8, عدد 03, سبتمبر، 2003, ص 343-62, https://doi.org/10.31026/j.eng.2002.03.07.