J. W. de Bakker · 4 obras en el catálogoObrasTTermination of nondeterministic programsTermination of nondeterministic programsCurrent Trends in ConcurrencyPARLE - Parallel Architectures and Languages Europe Vol. 2Logic Programming Languages