This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
11. References
Arbib, Michael A. and Manes, Ernest G., Arrows, Structures, and Functors, The Categorical Imperative, Academic Press, Inc., New York San Francisco London, 1975.
Backus, John., Can Programming be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs, Comm. of the ACM, Vol.21(8), 1978.
Bjoerner, D. and Jones, C.B. (eds), The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science, Vol.61, Springer-Verlag, Berlin Heidelberg New York, 1978.
Bjoerner, Dines and Jones, Cliff B., Formal Specification and Software Development, Prentice / Hall International, Englewood Cliffs, New Jersey London New Delhi Singapore Sydney Tokyo Toronto Wellington, 1982.
Clark, K.L. and McCabe, F.G., micro-PROLOG; Programming in Logic, Prentice / Hall International, Englewood Cliffs, New Jersey London New Delhi Rio de Janeiro Singapore Sydney Tokyo Toronto Wellington, 1984.
Davis, Philip J. and Hersh, Reuben., The Mathematical Experience, Birkhauser, Boston, 1981, Pelican Books, 1983.
Eilenberg, Samuel., Automata, Languages, and Machines, Vol.A, Academic Press, New York London, 1974.
Godemont, Roger., Algebra, Kershaw Publishing Company Ltd., London, 1969.
Gotlieb, C.C. and Gotlieb, Leo R., Data Types and Structures, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1978.
Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall International, Englewood Cliffs, New Jersey London Mexico New Delhi Rio de Janiero Singapore Sydney Tokyo Toronto Wellington, 1985.
Hopcroft, John E. and Ullman, Jeffrey D., Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publishing Company, Reading, Masachussetts Menlo Park, California London Amsterdam Don Mills, Ontario Sydney, 1979.
Iverson, Kenneth E., Notation as a Tool of Thought, Comm. of the ACM, Vol.23(8), 1980.
Mac an Airchinnigh, Mícheál., Conceptual Models and Computing — Theory and Practice, Ph.D. Thesis, The University of Dublin, Trinity College, Dublin, 1987.
MacLane, S. and Birkhoff G., Algebra, Second Edition, MacMillan Publishing Co., Inc., New York, Collier MacMillan Publishers, London, 1979.
Sharir, Micha., Some Observations Concerning Formal Differentiation of Set Theoretic Expressions, ACM Trans. on Prog. Lang. and Systems, Vol.4 (2), 1982, pp. 196–225.
Stoy, Joseph E., Foundations of Denotational Semantics, in: Bjoerner, D. (ed), Abstract Software Specifications, Lecture Notes in Computer Science, Vol.86, Springer-Verlag, Berlin Heidelberg New York, 1980, pp. 43–99.
Stoy, Joseph E., Mathematical Foundations, in: Bjoerner, Dines and Jones, Cliff B., Formal Specification and Software Development, Prentice/Hall International, Englewood Cliffs, New Jersey London New Delhi Singapore Sydney Tokyo Toronto Wellington, 1982, pp.47–81.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mac an Airchinnigh, M. (1987). Mathematical structures and their morphisms in Meta-IV. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_16
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17654-1
Online ISBN: 978-3-540-47740-2
eBook Packages: Springer Book Archive