4 works on record
PARLE - Parallel Architectures and Languages Europe Vol. 2
Current Trends in Concurrency
Logic Programming Languages
Termination of nondeterministic programs
