Time and information in sequential and concurrent computation (1994)

by V R Pratt
Venue:In Proc. Theory and Practice of Parallel Programming