Bumped version

and added citation files

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
 ```

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)).

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

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,

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}
+}