Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi. Synthesizing abstract data type specifications. In Proceedings of the 20th Annual Southeast Regional Conference, 1982, Knoxville, Tennessee, USA, April 1-3, 1982. pages 176-181, ACM, 1982. [doi]
Abstract is missing.