Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Bergstra, J.A., Heering, J., Klint, P.: Algebraic specification, Addison Wesley, New York, 1989
2. Bergstra, J.A., Tucker, J.V.: The completeness of the algebraic specification methods for computable data types, Inform. and Control 54, 186–200 (1982)
3. Bergstra, J.A., Tucker, J.V.: Initial and final algebra semantics for data type specifications; two characterisation theorems, SIAM J. Comput. 12, 366–387 (1983)
4. Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semi-computable data types. Theoret. Comput. Sci. 50, 137–181 (1987)
5. Dijkstra, E.W.: A Discipline of Programming, Prentice Hall, Englewood Cliffs, 1976
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献