Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Arbib, M.E.; Manes, E.G.: "Arrows, structures and functors: the categorical imperative", Academic Press 1975.
2. Bell, J.L.; Slomson, A.B.: "Models and Ultraproducts: an Introduction", North-Holland (1971)
3. Burstall, R.M.; Goguen, J.A.: "The semantics of Clear, a specification language", Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292–332, 1980.
4. Ehrich, H.-D.: "On the theory of specification, implementation and parameterization of abstract data types", JACM 29, 1 (1982), pp. 206–227.
5. Ehrig, H.: "Algebraic theory of parameterized specifications with requirements", Proc. 6th. CAAP, Springer LNCS 112, pp. 1–24, 1981.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献