@inproceedings(Aichernig&97_2,
 author       = {Bernhard~K. Aichernig and Peter~Gorm Larsenz},
 year         = {1997},
 title        = {A proof obligation generator for VDM-SL},
 editor       = {John Fitzgerald and Cliff~B. Jones and Peter Lucas},
 booktitle    = {FME '97: Industrial Applications and Strengthened Foundations of Formal Methods},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {338--357},
 doi          = {10.1007/3-540-63533-5\_18},
)
@techreport(Battle09,
 author       = {Nick Battle},
 year         = {2009},
 title        = {{VDMJ User Guide}},
 type         = {Technical Report},
 institution  = {Fujitsu Services Ltd.},
 address      = {UK},
)
@inproceedings(Bunder19a,
 author       = {Hendrik B\"{u}nder},
 year         = {2019},
 title        = {Decoupling Language and Editor - The Impact of the Language Server Protocol on Textual Domain-Specific Languages},
 booktitle    = {Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD,},
 organization = {INSTICC},
 publisher    = {SciTePress},
 pages        = {131--142},
 doi          = {10.5220/0007556301310142},
)
@inbook(Bunder19b,
 author       = {Hendrik B{\"u}nder and Herbert Kuchen},
 year         = {2020},
 title        = {Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol},
 pages        = {225--245},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-030-37873-8\_10},
)
@techreport(Dowek&93,
 author       = {Gilles Dowek and Amy Felty and Hugo Herbelin and G{\'e}rard Huet and Chet Murthy and Catherine Parent and Paulin-Mohring, Christine and Benjamin Werner},
 year         = {1993},
 title        = {The {Coq} Proof Assistant User's Guide},
 type         = {Rapport Techniques},
 number       = {154},
 institution  = {INRIA},
 address      = {Rocquencourt, France},
 note         = {Version 5.8},
)
@phdthesis(Hess&19,
 author       = {Marcel Hess and Thomas Kistler},
 year         = {2019},
 title        = {{Dafny Language Server Redesign}},
 school       = {HSR Hochschule f{\"u}r Technik Rapperswil},
)
@inproceedings(Jones85a_2,
 author       = {Cliff~B. Jones},
 year         = {1985},
 title        = {The role of proof obligations in software design},
 editor       = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James Thatcher},
 booktitle    = {Formal Methods and Software Development},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {27--41},
 doi          = {10.1007/3-540-15199-0\_3},
)
@article(Larsen01,
 author       = {Peter~Gorm Larsen},
 year         = {2001},
 title        = {{Ten Years of Historical Development: ``Bootstrapping'' VDMTools}},
 journal      = {Journal of Universal Computer Science},
 volume       = {7},
 number       = {8},
 pages        = {692--709},
 doi          = {10.3217/jucs-007-08-0692},
)
@article(Larsen&10a,
 author       = {Peter~Gorm Larsen and Nick Battle and Miguel Ferreira and John Fitzgerald and Kenneth Lausdahl and Marcel Verhoef},
 year         = {2010},
 title        = {{The Overture Initiative -- Integrating Tools for VDM}},
 journal      = {SIGSOFT Softw. Eng. Notes},
 volume       = {35},
 number       = {1},
 pages        = {1--6},
 doi          = {10.1145/1668862.1668864},
)
@inproceedings(Larsen&10c,
 author       = {Peter~Gorm Larsen and Kenneth Lausdahl and Nick Battle},
 year         = {2010},
 title        = {{Combinatorial Testing for VDM}},
 booktitle    = {Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods},
 series       = {SEFM '10},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {278--285},
 doi          = {10.1109/SEFM.2010.32},
 note         = {{ISBN 978-0-7695-4153-2}},
)
@inproceedings(Ledru02,
 author       = {Yves Ledru},
 year         = {2002},
 title        = {The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges},
 booktitle    = {Workshop on the State of the Art in Automated Software Engineering},
 address      = {University of California, Irvine},
)
@article(Masci&19,
 author       = {Paolo Masci and Mu\IeC{\~n}oz, C\IeC{\'e}sar~A.},
 year         = {2019},
 title        = {{An Integrated Development Environment for the Prototype Verification System}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {310},
 pages        = {35\IeC{\textendash}49},
 doi          = {10.4204/eptcs.310.5},
)
@inproceedings(Moura&15,
 author       = {Leonardo de~Moura and Soonho Kong and Jeremy Avigad and Floris van Doorn and Jakob von Raumer},
 year         = {2015},
 title        = {{The Lean Theorem Prover (System Description)}},
 editor       = {Amy~P. Felty and Aart Middeldorp},
 booktitle    = {Automated Deduction - CADE-25},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {378--388},
 doi          = {10.1007/978-3-319-21401-6\_26},
)
@inproceedings(Mukherjee97_2,
 author       = {Paul Mukherjee},
 year         = {1997},
 title        = {Automatic translation of VDM-SL specifications into gofer},
 editor       = {John Fitzgerald and Cliff~B. Jones and Peter Lucas},
 booktitle    = {FME '97: Industrial Applications and Strengthened Foundations of Formal Methods},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {258--277},
 doi          = {10.1007/3-540-63533-5\_14},
)
@article(Nipkow89b_2,
 author       = {Tobias Nipkow},
 year         = {1989},
 title        = {Term rewriting and beyond {\textemdash} theorem proving in Isabelle},
 journal      = {Formal Aspects of Computing},
 volume       = {1},
 number       = {1},
 pages        = {320--338},
 doi          = {10.1007/bf01887212},
)
@article(Paulson86_2,
 author       = {Lawrence~C. Paulson},
 year         = {1986},
 title        = {Natural deduction as higher-order resolution},
 journal      = {The Journal of Logic Programming},
 volume       = {3},
 number       = {3},
 pages        = {237--258},
 doi          = {10.1016/0743-1066(86)90015-4},
)
@mastersthesis(Rask&21,
 author       = {Jonas~Kj{\ae}r Rask and Frederik~Palludan Madsen},
 year         = {2021},
 title        = {{Decoupling of Core Analysis Support for Specification Languages from User Interfaces in Integrated Development Environments}},
 school       = {Aarhus University},
 address      = {Department of Engineering},
 url          = {https://github.com/overturetool/overturetool.github.io/blob/32b46df36502f1bfcbc4ea8ccad2ab10da04159f/publications/theses/Rask&21.pdf},
)
@inproceedings(Rask&20,
 author       = {Jonas~Kj{\ae}r Rask and Frederik~Palludan Madsen and Nick Battle and Hugo~Daniel Macedo and Peter~Gorm Larsen},
 year         = {2020},
 title        = {{Visual Studio Code VDM Support}},
 booktitle    = {Proceedings of the 18th International Overture Workshop},
 pages        = {35\IeC{\textendash}49},
 url          = {https://arxiv.org/abs/2101.07261},
)
@inproceedings(Rodriguez&18,
 author       = {Rodriguez-Echeverria, Roberto and Javier Luis~C\'{a}novas Izquierdo and Manuel Wimmer and Jordi Cabot},
 year         = {2018},
 title        = {{Towards a Language Server Protocol Infrastructure for Graphical Modeling}},
 booktitle    = {Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},
 series       = {MODELS '18},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {370\IeC{\textendash}380},
 doi          = {10.1145/3239372.3239383},
)
@article(Jorgensen&17,
 author       = {Tran-J{\o}rgensen, Peter W.~V. and Peter~Gorm Larsen and Gary~T. Leavens},
 year         = {2017},
 title        = {{Automated translation of VDM to JML-annotated Java}},
 journal      = {International Journal on Software Tools for Technology Transfer},
 pages        = {1--25},
 doi          = {10.1007/s10009-017-0448-3},
)