On proving limiting completeness (1987)

by P D Mosses, G D Plotkin
Venue:SIAM J. Comput