acce-specifications
Gebh. Greiter · ACM SIGPLAN Notices · 1984
This paper describes a method for building data type specifications that can be proved to be complete and consistent. More, they are abstract and also executable.The method ist based on the type theory developed in [1].