Sequentiality and Strong Stability (1991)

by A Bucciarelli, T Ehrhard
Venue:in Proc. 6th Symp. Logic in Computer Science, IEEE