On the practical need for abstraction relations to verify abstract data type representations | IEEE Journals & Magazine | IEEE Xplore