Synthesizing robust data structures - an introduction (1990)

by K Kant, A Ravichandran
Venue:IEEE Transactions on Computers