Interactive small-step algorithms I: Axiomatization, (2006)

by Andreas Blass , Yuri Gurevich , Dean Rosenzweig , Benjamin Rossman
Citations:4 - 2 self