From 2a049128a7c03fcfc0c4138990f9b245a2c0b030 Mon Sep 17 00:00:00 2001
From: Gerard Tabone <gerardtabone@yahoo.com>
Date: Fri, 22 Sep 2023 17:27:35 +0200
Subject: [PATCH] Bumped version and added citation files

---
 Docs.md      |  2 +-
 README.md    | 10 +++++++++-
 citation.cff | 35 +++++++++++++++++++++++++++++++++++
 mix.exs      |  2 +-
 ref.bib      | 12 ++++++++++++
 5 files changed, 58 insertions(+), 3 deletions(-)
 create mode 100644 citation.cff
 create mode 100644 ref.bib

diff --git a/Docs.md b/Docs.md
index 574fd4b..ac04f55 100644
--- a/Docs.md
+++ b/Docs.md
@@ -197,7 +197,7 @@ The package can be installed by adding `elixirst` to your list of dependencies i
 ```elixir
 def deps do
   [
-    {:elixirst, "~> 0.7.5"}
+    {:elixirst, "~> 0.8.0"}
   ]
 end
 ```
diff --git a/README.md b/README.md
index 1d9e0cc..5930f18 100644
--- a/README.md
+++ b/README.md
@@ -94,7 +94,7 @@ The package can be installed by adding `elixirst` to your list of dependencies i
 ```elixir
 def deps do
   [
-    {:elixirst, "~> 0.7.5"}
+    {:elixirst, "~> 0.8.0"}
   ]
 end
 ```
@@ -133,6 +133,14 @@ The `@dual` attribute checks the dual of the specified session type.
 
 Other examples can be found in the [`examples`](/lib/elixirst/examples) folder.
 
+## Cite
+
+Feel free to cite *ElixirST* as follows (or use [.bib](ref.bib) file):
+
+```
+Francalanza, A., & Tabone, G. (2023). ElixirST: A session-based type system for Elixir modules. Journal of Logical and Algebraic Methods in Programming, 135, 100891. https://doi.org/10.1016/j.jlamp.2023.100891
+``` 
+
 ## Acknowledgements
 
 Some code related to Elixir expression typing was adapted from [typelixir](https://github.com/Typelixir/typelixir) by Cassola (MIT [licence](ACK.md)).
diff --git a/citation.cff b/citation.cff
new file mode 100644
index 0000000..a0e80c5
--- /dev/null
+++ b/citation.cff
@@ -0,0 +1,35 @@
+cff-version: 1.2.0
+message: "Feel free to cite it as below."
+authors:
+  - family-names: Francalanza
+    given-names: Adrian
+    orcid: https://orcid.org/0000-0003-3829-7391
+  - family-names: Tabone
+    given-names: Gerard
+    orcid: https://orcid.org/0000-0001-9047-061X
+title: "ElixirST"
+version: 0.8.0
+date-released: 2021-09-17
+url: "https://github.com/gertab/ElixirST"
+keywords:
+  - "Session types"
+  - "Type systems"
+  - "Elixir"
+  - "Functional programming"
+license: "GPL-3.0"
+preferred-citation:
+  type: article
+  authors:
+  - family-names: Francalanza
+    given-names: Adrian
+    orcid: https://orcid.org/0000-0003-3829-7391
+  - family-names: Tabone
+    given-names: Gerard
+    orcid: https://orcid.org/0000-0001-9047-061X
+  doi: 10.1016/j.jlamp.2023.100891
+  journal: "Journal of Logical and Algebraic Methods in Programming"
+  month: 10
+  start: 100891
+  title: "ElixirST: A session-based type system for Elixir modules"
+  volume: 135
+  year: 2023
diff --git a/mix.exs b/mix.exs
index 9676ae4..99f07aa 100644
--- a/mix.exs
+++ b/mix.exs
@@ -4,7 +4,7 @@ defmodule ElixirST.MixProject do
   def project do
     [
       app: :elixirst,
-      version: "0.7.5",
+      version: "0.8.0",
       elixir: "~> 1.9",
       dialyzer: dialyzer(),
       start_permanent: Mix.env() == :prod,
diff --git a/ref.bib b/ref.bib
new file mode 100644
index 0000000..e0f51b6
--- /dev/null
+++ b/ref.bib
@@ -0,0 +1,12 @@
+@article{FrancalanzaTaboneJLAMP2023,
+    title = {{ElixirST}: A session-based type system for Elixir modules},
+    journal = {Journal of Logical and Algebraic Methods in Programming},
+    volume = {135},
+    pages = {100891},
+    year = {2023},
+    issn = {2352-2208},
+    doi = {10.1016/j.jlamp.2023.100891},
+    url = {https://www.sciencedirect.com/science/article/pii/S2352220823000457},
+    author = {Adrian Francalanza and Gerard Tabone},
+    keywords = {Session types, Type systems, Elixir, Functional programming}
+}
\ No newline at end of file