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

Bertrand Meyer
1981 SIGPLAN notices  
doi:10.1145/960124.806910 fatcat:fbo4pczp5rf3dllghf7f3lcib4