Daho, Hocine El-Habib, and Djillali Benhamamouch. 2010. “Temporal Deductive Verification of Basic ASM Models”. INFOCOMP Journal of Computer Science 9 (1):12-21. http://177.105.60.18/index.php/infocomp/article/view/286.