 \providecommand{\CoFI}{CoFI} \providecommand{\CASL}{CASL}
  \providecommand{\cofiWWW}{http://www.brics.dk/Projects/CoFI}
  \providecommand{\cofiWWWpath}{http://www.brics.dk/Projects/CoFI}
  \providecommand{\cofiFTP}{ftp://ftp.brics.dk/Projects/CoFI}
  \providecommand{\url}[1]{#1} \providecommand{\href}[2]{#2}
  \providecommand{\cofiWWWref}[2]{\href{\cofiWWWpath/#1}{#2}}
  \providecommand{\cofiSN}[1] {\cofiWWWref{StudyNotes/#1.html}{Study Note~#1}}
  \providecommand{\cofiLDSN}[1] {\cofiWWWref{StudyNotes/Lang/#1.html}{Language
  Design Study Note~#1}} \providecommand{\cofiLDSNnoWWW}[1]
  {\href{\cofiFTP/StudyNotes/Lang/}{Language Design Study Note~#1}}
  \providecommand{\cofiNote}[1] {\cofiWWWref{Notes/#1/index.html}{Note~#1}}
  \providecommand{\cofiDissentNote}[1]
  {\cofiWWWref{Notes/#1/index.html}{Note~#1}} \providecommand{\cofiDocument}[1]
  {\cofiWWWref{Documents/#1/index.html}{Documents/#1}}
  \providecommand{\cofiTentativeDocument}[1]
  {\cofiWWWref{Documents/Tentative/#1/index.html}{Documents/Tentative/#1}}
\begin{thebibliography}{10}

\bibitem{JLAustin1975}
J.~L. Austin.
\newblock {\em How to Do Things with Words}.
\newblock Harvard University Press, Cambridge, Mass., 2 edition, 1975.
\newblock (William James Lectures).

\bibitem{Bek74-old}
H.~Beki{\v{c}}, D.~Bj{\o}rner, W.~Henhapl, C.B. Jones, and P.~Lucas.
\newblock {A Formal Definition of a {PL/I} Subset}.
\newblock Technical Report 25.139, Vienna, Austria, December 1974.

\bibitem{ULD69}
Hans Beki{\v{c}}, Peter Lucas, Kurt Walk, and Many Others.
\newblock {Formal Definition of {PL/I, ULD} Version {III}}.
\newblock IBM Laboratory, Vienna, 1969.

\bibitem{LNCS98}
D.~Bj{\o}rner and O.~Oest.
\newblock {\em {Towards a Formal Description of {A}da}}, volume~98 of {\em
  LNCS}.
\newblock Springer--Verlag, 1980.

\bibitem{db00:p:ifac}
Dines Bj{\o}rner.
\newblock {Formal Software Techniques in Railway Systems}.
\newblock In Eckehard Schnieder, editor, {\em {9th IFAC Symposium on Control in
  Transportation Systems}}, pages 1--12, Technical University, Braunschweig,
  Germany, 13--15 June 2000. {\sf VDI/VDE-Gesellschaft Mess-- und
  Automatisieringstechnik}, {\sf VDI-Gesellschaft f{\"u}r Fahrzeug-- und
  Verkehrstechnik}.
\newblock Invited talk.

\bibitem{db03:ifac-cts2003}
Dines Bj{\o}rner.
\newblock {Dynamics of Railway Nets: On an Interface between Automatic Control
  and Software Engineering}.
\newblock In {\em {CTS2003: 10th IFAC Symposium on Control in Transportation
  Systems}}, Oxford, UK, August 4-6 2003. Elsevier Science Ltd.
\newblock Symposium held at Tokyo, Japan. Editors: S. Tsugawa and M. Aoki.
  \url{www2.imm.dtu.dk/~dibj/ifac-dynamics.pdf}.

\bibitem{db03:forms2003}
Dines Bj{\o}rner.
\newblock {New Results and Trends in Formal Techniques for the Development of
  Software for Transportation Systems}.
\newblock In {\em {FORMS2003: Symposium on Formal Methods for Railway Operation
  and Control Systems}}. Institut f{\"u}r Verkehrssicherheit und
  Automatisierungstechnik, Techn.Univ. of Braunschweig, Germany, 15--16 May
  2003.
\newblock Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai
  and E. Schnieder, Germany. \url{www2.imm.dtu.dk/~dibj/dines-amore.pdf}.

\bibitem{TheSEBook123}
Dines Bj{\o}rner.
\newblock {\em {Software Engineering, Vol.~1: Abstraction and Modelling;
  Vol.~2: Specification of Systems and Languages; Vol.~3: Domains, Requirements
  and Software Design}}.
\newblock Texts in Theoretical Computer Science, the EATCS Series. Springer,
  Heidelberg, Germany, 2006.

\bibitem{dines:ugo65:2008}
Dines Bj{\o}rner.
\newblock {From Domains to Requirements
  \url{www.imm.dtu.dk/~dibj/2008/ugo/ugo65.pdf}}.
\newblock In {\em {Montanari Festschrift}}, volume 5065 of {\em Lecture Notes
  in Computer Science (eds.\ Pierpaolo Degano, Rocco De Nicola and Jos{\'e}
  Meseguer)}, pages 1--30, Heidelberg, May 2008. Springer.

\bibitem{dines:facs:2008}
Dines Bj{\o}rner.
\newblock {Domain Engineering}.
\newblock In Paul Boca and Jonathan Bowen, editors, {\em {Formal Methods: State
  of the Art and New Directions}}, {Eds.\ Paul Boca and Jonathan Bowen}, pages
  1--42, London, UK, 2010. Springer.

\bibitem{BjornerMereology2013}
Dines Bj{\o}rner.
\newblock {A R{\^o}le for Mereology in Domain Science and Engineering}.
\newblock In {\em {Mereology and the Sciences}}, Synthese Library (eds.\
  Claudio Calosi and Pierluigi Graziani), pages 323--357, Amsterdam, The
  Netherlands, October 2014. Springer.
\newblock \url{https://www.imm.dtu.dk/~dibj/2011/urbino/urbino-colour.pdf}.

\bibitem{bjorner-jaist-2014}
Dines Bj{\o}rner.
\newblock {Domain Analysis: Endurants -- An Analysis \& Description Process
  Model \url{www.imm.dtu.dk/~dibj/2014/kanazawa/kanazawa-p.pdf}}.
\newblock In {{Shusaku} Iida and {Jos{\'e}} Meseguer and {Kazuhiro} Ogata},
  editor, {\em {Specification, Algebra, and Software: A Festschrift Symposium
  in Honor of Kokichi Futatsugi}}. Springer, Heidelberg, Garmany, May 2014.

\bibitem{BjornerFAoC2015MDAAD}
Dines Bj{\o}rner.
\newblock {Manifest Domains: Analysis \& Description
  \url{www.imm.dtu.dk/~dibj/2015/faoc/faoc-bjorner.pdf}}.
\newblock {\em {Formal Aspects of Computing}}, 29(2):175--225, March 2017.
\newblock Online: 26 July 2016.

\bibitem{BjornerTOSEM2018}
Dines Bj{\o}rner.
\newblock {Domain Analysis \& Description -- Principles, Techniques and
  Modeling Languages. \url{www.imm.dtu.dk/~dibj/2018/tosem/Bjorner-TOSEM.pdf}}.
\newblock {\em {ACM Trans.\,on\,Software Engineering and Methodology}},
  28(2):66 pages, March 2019.

\bibitem{BjornerMonograph2020}
Dines Bj{\o}rner.
\newblock {\em {Domain Science \& Engineering -- A Foundation for Software
  Development}}.
\newblock {EATCS Monographs in Theoretical Computer Science}. Springer,
  Heidelberg, Germany, 2021.
\newblock A revised version of this book is \cite{BjornerMonograph2023}.

\bibitem{infra:Monograph2021}
Dines Bj{\o}rner.
\newblock {\em {Domain Science \& Engineering -- A Foundation for Software
  Development}}.
\newblock {EATCS Monographs in Theoretical Computer Science}. Springer,
  Heidelberg, Germany, 2021.
\newblock A revised version of this book is \cite{infra:Primer2024}.

\bibitem{NewPrimer2023}
Dines Bj{\o}rner.
\newblock {Domain Modelling -- A Primer}.
\newblock A short and significantly revised version of
  \cite{BjornerMonograph2020}. xii+202 pages\footnote{This book is currently
  being translated into Chinese by Dr.\ Yang ShaoFa, IoS/CAS (Institute of
  Software, Chinese Academy of Sciences), Beijing and into Russian by Dr.\
  Mikhail Chupilko and his colleagues, ISP/RAS (Institute of Systems
  Programming, Russian Academy of Sciences), Moscow}, May 2023.

\bibitem{BjornerMonograph2023}
Dines Bj{\o}rner.
\newblock {Domain Science \& Engineering -- A Foundation for Software
  Development}.
\newblock Revised edition of \cite{BjornerMonograph2020}. xii+346
  pages\footnote{Due to copyright reasons no URL is given to this document's
  possible Internet location. A primer version, omitting certain chapters, is
  \cite{NewPrimer2023}}, January 2023.

\bibitem{infra:Primer2024}
Dines Bj{\o}rner.
\newblock {Domain Modelling -- A Primer}.
\newblock A significantly revised version of \cite{infra:Monograph2021}.
  xii+202 pages\footnote{This book is currently being translated into Chinese
  by Dr.\ Yang ShaoFa, IoS/CAS (Institute of Software, Chinese Academy of
  Sciences), Beijing and into Russian by Dr.\ Mikhail Chupilko and colleagues,
  ISP/RAS (Institute of Systems Programming, Russian Academy of Sciences),
  Moscow}, Summer 2024.

\bibitem{Bjorner2024:DomainModelsACompendium}
Dines Bj{\o}rner.
\newblock {Domain Models -- A Compendium}.
\newblock Internet:
  \texttt{http://\-www.\-imm.\-dtu.\-dk/\~{}dibj/\-2024/\-mo\-dels/\-do\-main-\-mo\-dels.pdf},
  March 2024.
\newblock This is a very early draft. 19 domain models are presented.

\bibitem{dines-idpt-02}
Dines Bj{\o}rner, Chris~W. George, and S{\o}ren Prehn.
\newblock {Computing Systems for Railways --- A R{\^o}le for Domain
  Engineering. Relations to Requirements Engineering and Software for Control
  Applications}.
\newblock In {\em {Integrated Design and Process Technology. Editors: Bernd
  Kraemer and John C. Petterson}}, P.O.Box 1299, Grand View, Texas 76050-1299,
  USA, 24--28 June 2002. Society for Design and Process Science.
\newblock \url{www2.imm.dtu.dk/~dibj/pasadena-25.pdf}.

\bibitem{e:db:Bj78bwo}
Dines Bj{\o}rner and Cliff~B. Jones, editors.
\newblock {\em {The Vienna Development Method: The Meta-Language}}, volume~61
  of {\em LNCS}.
\newblock Springer, Heidelberg, Germany, 1978.

\bibitem{e:db:Bj82b}
Dines Bj{\o}rner and Cliff~B. Jones, editors.
\newblock {\em {Formal Specification and Software Development}}.
\newblock Prentice-Hall, London, England, 1982.

\bibitem{e:db:Bj80f}
Dines Bj{\o}rner and Ole~N. Oest, editors.
\newblock {\em {Towards a Formal Description of {A}da}}, volume~98 of {\em
  LNCS}.
\newblock Springer, Heidelberg, Germany, 1980.

\bibitem{Clem84}
Geert~Bagge Clemmensen and Ole~N. Oest.
\newblock Formal specification and development of an {A}da compiler -- a {VDM}
  case study.
\newblock In {\em Proc. 7th International Conf. on Software Engineering,
  26.-29. March 1984, Orlando, Florida}, pages 430--440, New York, USA, 1984.
  IEEE.

\bibitem{PatrickCousot2021}
Patrick Cousot.
\newblock {\em Principles of Abstract Interpretation}.
\newblock The MIT Press, 2021.

\bibitem{FettkeReisig2023}
Peter Fettke and Wolfgang Reisig.
\newblock {\em {Understanding the Digital World -- Modeling with HERAKLIT}}.
\newblock Springer, 2024.
\newblock To be published.

\bibitem{futatsugi2000a}
K.~Futatsugi, A.T. Nakagawa, and T.~Tamai, editors.
\newblock {\em {CAFE: An Industrial\---Strength Algebraic Formal Method}}, Sara
  Burgerhartstraat 25, P.O. Box 211, NL--1000 AE Amsterdam, The Netherlands,
  2000. Elsevier.
\newblock Proceedings from an April 1998 Symposium, Numazu, Japan.

\bibitem{RSL}
Chris~W. George, Peter Haff, Klaus Havelund, Anne~Elisabeth Haxthausen, Robert
  Milne, Claus~Bendix Nielsen, S{\o}ren Prehn, and Kim~Ritter Wagner.
\newblock {\em The RAISE Specification Language}.
\newblock The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England,
  1992.

\bibitem{RaiseMethod}
Chris~W. George, Anne~Elisabeth Haxthausen, Steven Hughes, Robert Milne,
  S{\o}ren Prehn, and Jan~Storbank Pedersen.
\newblock {\em {The RAISE Development Method}}.
\newblock The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England,
  1995.

\bibitem{RaiseCaseBook2001}
Chris~W. George, Hung~Dang Van, Tomasz Janowski, and Richard Moore.
\newblock {\em {Case Studies using The RAISE Method}}.
\newblock FACTS (Formal Aspects of Computing: Theory and Software) and FME
  (Formal Methods Europe). Springer--Verlag, London, 2002.
\newblock This book reports on a number of case studies using RAISE (Rigorous
  Approach to Software Engineering). The case studies were done in the period
  1994--2001 at UNU/IIST, the UN University's International Institute for
  Software Technology, Macau (till 20 Dec., 1997, Chinese Teritory under
  Portuguese administration, now a Special Administrative Region (SAR) of (the
  so\---called People's Republic of) China).

\bibitem{m.hammer93}
Michael Hammer and James~A. Champy.
\newblock {\em {Reengineering the Corporation: A Manifesto for Business
  Revolution}}.
\newblock {HarperCollins\textsl{Publishers}}, {77--85 Fulham Palace Road,
  Hammersmith, London W6 8JB, UK}, {May 1993}.
\newblock {5 June 2001, Paperback}.

\bibitem{m.hammer95}
Michael Hammer and Stephen~A. Stanton.
\newblock {\em {The Reengineering Revolutiuon: The Handbook}}.
\newblock {HarperCollins\textsl{Publishers}}, {77--85 Fulham Palace Road,
  Hammersmith, London W6 8JB, UK}, {1996}.
\newblock {Paperback}.

\bibitem{Hoare85+2004}
Charles Anthony~Richard Hoare.
\newblock {\em {Communicating Sequential Processes}}.
\newblock {C.A.R.} Hoare Series in Computer Science. Prentice-Hall
  International, London, England, 1985.
\newblock Published electronically:
  \tosemfootnote{using\-csp.\-com/\-csp\-book.pdf} (2004).

\bibitem{Holzmann03}
Gerard~J. Holzmann.
\newblock {\em {The SPIN Model Checker, Primer and Reference Manual}}.
\newblock Addison-Wesley, Reading, Massachusetts, 2003.

\bibitem{alloy}
Daniel Jackson.
\newblock {\em {{Software Abstractions: Logic, Language, and Analysis}}}.
\newblock The MIT Press, Cambridge, Mass., USA, April 2006.
\newblock ISBN 0-262-10114-9.

\bibitem{lexicon}
Michael~A. Jackson.
\newblock {\em {Software {R}equirements \& {S}pecifications: a lexicon of
  practice, principles and prejudices}}.
\newblock ACM Press. Addison-Wesley, Reading, England, 1995.

\bibitem{mja2001a}
Michael~A. Jackson.
\newblock {\em {Problem Frames --- Analyzing and Structuring Software
  Development Problems}}.
\newblock ACM Press, Pearson Education. Addison-Wesley, England, 2001.

\bibitem{MichaelJackson2010}
Michael~A. Jackson.
\newblock {Program Verification and System Dependability}.
\newblock In Paul Boca, Jonathan Bowen, and Jawed Siddiqi, editors, {\em
  {Formal Methods: State of the Art and New Directions}}, pages 43--78, London,
  UK, December 2009. Springer.

\bibitem{OED}
W.~Little, H.W. Fowler, J.~Coulson, and C.T. Onions.
\newblock {\em {The Shorter {O}xford English Dictionary on Historical
  Principles}}.
\newblock Clarendon Press, Oxford, England, 1973, 1987.
\newblock {Two vols.}

\bibitem{MilR76}
R.~Milne and C.~Strachey.
\newblock {\em A Theory of Programming Language Semantics}.
\newblock Chapman and Hall, London, Halsted Press/John Wiley, New York, 1976.

\bibitem{morris-semiotics-1938}
Charles~W. Morris.
\newblock {\em Foundations of the theory of signs}, volume~I of {\em
  International encyclopedia of unified science}.
\newblock The University of Chicago Press, 1938.

\bibitem{popper-car-tgask63}
Karl~R. Popper.
\newblock {\em {Conjectures and Refutations. The Growth of Scientific
  Knowledge}}.
\newblock Routledge and Kegan Paul Ltd. (Basic Books, Inc.), 39 Store Street,
  WC1E 7DD, London, England (New York, NY, USA), 1963,\ldots,1981.

\bibitem{Pulvermuller2005}
F.~Pulverm{\"u}ller.
\newblock Brain mechanisms linking language and action.
\newblock {\em Nature Reviews: Neuroscience}, 6:576–582, 2005.
\newblock https://doi.org/10.1038/nrn1706.

\bibitem{Searle1969}
John~R. Searle.
\newblock {\em Speech Acts: An Essay in the Philosophy of Language}.
\newblock Cambridge University Press, 1969.

\bibitem{kaisorlander1994}
Kai S{\o}rlander.
\newblock {\em {Det Uomg{\ae}ngelige -- Filosofiske Deduktioner [The Inevitable
  -- Philosophical Deductions, with a foreword by Georg Henrik von Wright]}}.
\newblock Munksgaard $\cdot$ Rosinante, Copenhagen, Denmark, 1994.
\newblock 168 pages.

\bibitem{kaisorlander2016}
Kai S{\o}rlander.
\newblock {\em {Indf{\o}ring i Filosofien [Introduction to The Philosophy]}}.
\newblock Informations Forlag, Copenhagen, Denmark, 2016.
\newblock 233 pages.

\bibitem{kaisorlander2022}
Kai S{\o}rlander.
\newblock {\em {Den rene fornufts struktur [The Structure of Pure Reason]}}.
\newblock Ellek{\ae}r, Slagelse, Denmark, 2022.
\newblock See \cite{kaisorlander2023}.

\bibitem{kaisorlander2023}
Kai S{\o}rlander.
\newblock {\em {The Structure of Pure Reason}}.
\newblock Springer, February 2025.
\newblock {This is an English translation of \cite{kaisorlander2022} -- done by
  Dines Bj{\o}rner in collaboration with the author}.

\bibitem{caseUNUIIST}
Hung~Dang Van, Chris George, Tomasz Janowski, and Richard Moore, editors.
\newblock {\em {Specification Case Studies in RAISE}}.
\newblock Springer, 2002.

\bibitem{Varzi1994}
Achille~C. Varzi.
\newblock {\em {On the Boundary between Mereology and Topology}}, pages
  419--438.
\newblock H{\"o}lder-Pichler-Tempsky, Vienna, 1994.

\bibitem{m:z:jd+jcppw96}
James Charles~Paul Woodcock and James Davies.
\newblock {\em Using {Z}: Specification, Proof and Refinement}.
\newblock Prentice Hall International Series in Computer Science, London,
  England, 1996.

\end{thebibliography}
