1. ISO/IEC 8652:(E), Ada Reference Manual–Language and Standard Libraries, 1995.
2. An overview of Ada 95;Xu;Journal of Computer Research and Development,1997
3. A compact Petri Net representation for concurrent programs;Dwyer;Proceedings of the Seventeenth International Conference on Software Engineering, Seattle,1995
4. A compact Petri Net representation and its implications for analysis;Dwyer;IEEE Transactions on Software Engineering,1996
5. Design and implementation of a Petri Net based toolkit for Ada tasking analysis;Shatz;IEEE Transactions on Parallel and Distributed System,1990