1. Another look at LTL model checking;E Clarke;Formal methods in system design,1994
2. Automatic verification of finite state concurrent systems using temporal logic specifications;E M Clarke;ACM Trans. Program. Lang. Syst,1986
3. An Algol 60 translator for the x1 and Making a translator for Algol 60;E W Dijkstra;Mathematisch Centrum,1961