the 38th Annual IEEE/ACM International Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, 124–134. doi.org/10.1109/SFCS.1994.365700 Sinharoy, B., Kalla, R.,