From 49da7b422ca36155d3feb3c1517dd970bf844139 Mon Sep 17 00:00:00 2001
From: Peter Smit <43498358+Petersmit27@users.noreply.github.com>
Date: Tue, 16 Apr 2024 08:25:57 +0200
Subject: [PATCH] Update readme.md

---
 readme.md | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/readme.md b/readme.md
index 2bd5efe..f50118a 100644
--- a/readme.md
+++ b/readme.md
@@ -1,7 +1,12 @@
 # IBAFlang (Imperative But Also Functional language)
+As you may realise from reading the language definition, the language is more I than F. That's why this is just version 0.1 of IBAF. 
 
 This repo contains the projects for IBAF.
-- `cbs` is the project that contains the source `.cbs` files that defines the language.
-- `Editor` is the Spoofax project that can be used to build the IDE for IBAF.
-- `Tests` is a project containing some example programs.
+- `IBAF-cbs` is the project that contains the source `.cbs` files that defines the language.
+- `IBAF-Editor` is the Spoofax project that can be used to build the IDE for IBAF.
+- `IBAF-Tests` is a project containing some example programs and the funcon terms they compile to.
 
+## Some relevant papers:
+- CBS introduction: [Software meta-language engineering and CBS](https://doi.org/10.1016/j.jvlc.2018.11.003)
+- In-depth look at funcons: [Fundamental Constructs in Programming Languages](https://doi.org/10.1007/978-3-030-89159-6_19)
+- In-depth look at the CBS workbench/editor: [A Component-Based Formal Language Workbench](https://doi.org/10.4204/eptcs.310.4)