Towards analysing sequences of operations for dynamic data structures | IEEE Conference Publication | IEEE Xplore