1. Comments on capabilities, limitations and correctness of Petri nets;Agerwala,1973
2. Compilers, Principles, Techniques, and Tools;Aho,1988
3. Concurrent Programming in Erlang;Armstrong,1993
4. Hardware-Software Co-Design of Embedded Systems—The POLIS Approach;Balarin,1997
5. Principles of Verifiable RTL Design;Bening,2001