A Structural Induction Theorem for Processes (1989)

by R. P. Kurshan, K. Mcmillan
Venue:Information and Computation