diff --git a/README.md b/README.md
index 1b69e288a44f7e7ff5eb6e3d794464239abf71f9..874e685e438bd18e02b75b7d845a6de3775bc1c6 100644
--- a/README.md
+++ b/README.md
@@ -76,16 +76,14 @@ For information on how to use the kernel, run the built-in `:help` command, or s
 An article about the ProB Jupyter kernel has been [published at ABZ'2020](https://rdcu.be/b4rql).
 
 ```
-@InProceedings{GelessusLeuschel:ABZ2020,
- author="Gele{\ss}us, David and Leuschel, Michael",
- editor="Raschke, Alexander and M{\'e}ry, Dominique and Houdek, Frank",
- title="ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods",
- booktitle="Rigorous State-Based Methods",
- year="2020",
- publisher="Springer International Publishing",
- address="Cham",
- pages="248--254",
- abstract="We present a tool for using the B language in computational notebooks, based on the Jupyter Notebook interface and the ProB tool. Applications of B notebooks include executable documentation of formal models, interactive manuals, validation reports but also teaching of formal methods, logic, set theory and theoretical computer science. In addition to B and Event-B, the tool supports Z, {\$}{\$}{\backslash}textsc {\{}TLA{\}}^{\{}+{\}}{\$}{\$} and Alloy.",
+@inproceedings{GelessusLeuschel:abz2020,
+  author    = {David Gelessus and Michael Leuschel},
+  title     = {{ProB} and {Jupyter} for Logic, Set Theory, Theoretical Computer Science and Formal Methods},
+  booktitle = {Proceedings ABZ 2020},
+  editor="Raschke, Alexander and M{\'e}ry, Dominique and Houdek, Frank",
+  year      = {2020},
+  series = {LNCS 12071},
+   pages="248--254",
  isbn="978-3-030-48077-6"
 }
 ```
\ No newline at end of file