Specification of transition categories an approach to dynamic abstract data types - Große-Rhode, Martin (1995)