A three-level approach to the description of data structures, and notational framework

Bertrand Meyer
1981 ACM SIGART Bulletin  
doi:10.1145/960128.806910 fatcat:fa5733wetzgcpnyla5rfl6kihq