On the termination of Markov algorithms (1970)

by Z Manna, S Ness
Venue:In: Third hawaii international conference on system science