Petri nets and regular languages
Some observations on NP real numbers and P-selective sets
Theft and conspiracy in the take-grant protection model
The complexity of restricted regular expressions and the synthesis problem for finite automata
Query time versus redundancy trade-offs for range queries
The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine
An efficient interpreter for the lambda-calculus
Author index for volume 23