diff --git a/Proposal/LaTeX-proposal/.gitrepo b/Proposal/LaTeX-proposal/.gitrepo
index 15027f29df3185fb6ec3c82b891067f62a68dd79..0e9fea2c86d0ef0cfb7b89032286a6109eb05810 100644
--- a/Proposal/LaTeX-proposal/.gitrepo
+++ b/Proposal/LaTeX-proposal/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:KWARC/LaTeX-proposal.git
 	branch = master
-	commit = 55b2e7d08cf1be209ba8512f2ec34e6b66ac3e2a
+	commit = c1a9781770da82f98d49de9be299fdb592435153
 	parent = 3ba83828b052b6d5c40498846f1c46775f01e449
 	method = merge
 	cmdver = 0.4.0
diff --git a/Proposal/final-123.pdf b/Proposal/final-123.pdf
index bbe66348cdf5c8aeda7241bc823995e9d71fff4a..2d0e5b46b469b6b9924d4ad4643092ed5742449e 100644
Binary files a/Proposal/final-123.pdf and b/Proposal/final-123.pdf differ
diff --git a/Proposal/final-45.pdf b/Proposal/final-45.pdf
index ed296011abca4223a06d7f63c7bd572c4493ffea..e227850749b2ebec3efb45c6d2402cf24f1508e4 100644
Binary files a/Proposal/final-45.pdf and b/Proposal/final-45.pdf differ
diff --git a/Proposal/final.pdf b/Proposal/final.pdf
index 83eaa38ae842cc1cad656ab627131555c25b9cef..da8d92190ea6b54aec05ce72f5133fc2ef3a47ff 100644
Binary files a/Proposal/final.pdf and b/Proposal/final.pdf differ
diff --git a/lib/kbibs/.gitrepo b/lib/kbibs/.gitrepo
index 97941d185eb6f6b394c8495d9b8aba4f5aab7915..13a0fcf5e36bd3f8e13d7eab7a77933363e0761f 100644
--- a/lib/kbibs/.gitrepo
+++ b/lib/kbibs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:KWARC/bibs.git
 	branch = master
-	commit = f21adc164bf14abf3f715018baeaecaba1f571e0
+	commit = 14704f24d2c70910f251f21f59e4d4c1a34d57ed
 	parent = 38bdd47fc690489d66053314060d031a07730161
 	method = merge
 	cmdver = 0.4.0
diff --git a/lib/kbibs/extpubs.bib b/lib/kbibs/extpubs.bib
index 85e3dc3bb84784309c427fe200702bb710236fc9..b8554ba160c39a7d67bb628b4eeb670c29cbc232 100644
--- a/lib/kbibs/extpubs.bib
+++ b/lib/kbibs/extpubs.bib
@@ -508,6 +508,14 @@ abstract="Manifest fields in a type of modules are shown to be expressible in in
 isbn="978-3-642-02444-3"
 }
 
+@ARTICLE{Liskov94abehavioral,
+    author = {Barbara H. Liskov and Jeanette M. Wing},
+    title = {A Behavioral Notion of Subtyping},
+    journal = {ACM Transactions on Programming Languages and Systems},
+    year = {1994},
+    volume = {16},
+    pages = {1811--1841}
+}
   
 @online{gloin:on,crossref={gloin:base},
   label = {GLO},
diff --git a/lib/kbibs/kwarc.bib b/lib/kbibs/kwarc.bib
index 611ad0f8145e96b976300146e03064d7c0e4d506..3acfde350234108d419b9c80102b5186b64da2dc 100644
--- a/lib/kbibs/kwarc.bib
+++ b/lib/kbibs/kwarc.bib
@@ -60,6 +60,11 @@
 @STRING{spring   = "Springer-Verlag"}
 @STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
 
+@online{cocalc:on,
+  label = {CC},
+  title = {{CoCalc}: Collaborative Calculation in the Cloud},
+  url = {https://cocalc.com},
+  urldate = {2019-01-28}}
 @online{wikidata:on,
   label = {WD},
   title = {Wikidata:Introduction},
@@ -551,6 +556,14 @@ abstract="Manifest fields in a type of modules are shown to be expressible in in
 isbn="978-3-642-02444-3"
 }
 
+@ARTICLE{Liskov94abehavioral,
+    author = {Barbara H. Liskov and Jeanette M. Wing},
+    title = {A Behavioral Notion of Subtyping},
+    journal = {ACM Transactions on Programming Languages and Systems},
+    year = {1994},
+    volume = {16},
+    pages = {1811--1841}
+}
   
 @online{gloin:on,crossref={gloin:base},
   label = {GLO},