Languages and machines : an introduction to the theory of computer science

A restated pumping lemma for context-free languages

ACM SIGACT News

The POWER-Light Version: Improving Legal Quality under Time Pressure

EGOV '02 Proceedings of the First International Conference on Electronic Government

Connectivity Testing

Formal Methods in System Design

Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets

IEEE Transactions on Computers

Grammars

Encyclopedia of Computer Science