added refs

examples/scholarly_paper/2021-ITP-PMTI/document/root.bib

@@ -16,6 +16,38 @@
 
 % $Id: fmde.bib 6539 2010-01-29 10:33:20Z brucker $
 
+@InProceedings{10.1007/978-3-030-30446-1_15,
+author="Brucker, Achim D. and Wolff, Burkhart",
+editor="{\"O}lveczky, Peter Csaba and Sala{\"u}n, Gwen",
+title="Isabelle/DOF: Design and Implementation",
+booktitle="Software Engineering and Formal Methods",
+year="2019",
+publisher="Springer International Publishing",
+address="Cham",
+pages="275--292",
+abstract="DOF is a novel framework for defining ontologies and enforcing them during document 
+development and document evolution. A major goal of DOF is the integrated development of formal 
+certification documents (e. g., for Common Criteria or CENELEC 50128) that require consistency 
+across both formal and informal arguments.",
+isbn="978-3-030-30446-1"
+}
+
+@InProceedings{10.1007/978-3-319-96812-4_3,
+author="Brucker, Achim D. and Ait-Sadoune, Idir and Crisafulli, Paolo and Wolff, Burkhart",
+editor="Rabe, Florian and Farmer, William M. and Passmore, Grant O. and Youssef, Abdou",
+title="Using the Isabelle Ontology Framework",
+booktitle="Intelligent Computer Mathematics",
+year="2018",
+publisher="Springer International Publishing",
+address="Cham",
+pages="23--38",
+abstract="While Isabelle is mostly known as part of Isabelle/HOL (an interactive theorem prover), 
+it actually provides a framework for developing a wide spectrum of applications. A particular 
+strength of the Isabelle framework is the combination of text editing, formal verification, and 
+code generation.",
+isbn="978-3-319-96812-4"
+}
+
 @article{DBLP:journals/jcs/RoscoeB99,
   author    = {A. W. Roscoe and
                Philippa J. Broadfoot},

examples/scholarly_paper/2021-ITP-PMTI/paper.thy

@@ -41,7 +41,8 @@ abstract*[abs, keywordlist="[\<open>Ontologies\<close>,\<open>Formal Documents\<
    and specific ontology instances in concrete cases. This concept  is also called
    \<^emph>\<open>ontology alignment\<close> in  the literature rised a substantial interest recently.
 
-   If you consider citing this paper, please refer to @{cite "HOL-CSP-iFM2020"}.
+   If you consider citing this paper, please refer to @{cite "10.1007/978-3-030-30446-1_15"} and
+   @{cite "10.1007/978-3-319-96812-4_3"}
 \<close>
 text\<open>\<close>
 section*[introheader::introduction,main_author="Some(@{docitem ''bu''}::author)"]\<open> Introduction \<close>