From 5b384c7b04f58344c5116b9f728c1ade35de4564 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 18 Apr 2018 16:09:31 +0100
Subject: [PATCH] Update 2018-04-18-papers-accepted-april-18.md

---
 _posts/2018-04-18-papers-accepted-april-18.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_posts/2018-04-18-papers-accepted-april-18.md b/_posts/2018-04-18-papers-accepted-april-18.md
index 6d82db1..6417256 100644
--- a/_posts/2018-04-18-papers-accepted-april-18.md
+++ b/_posts/2018-04-18-papers-accepted-april-18.md
@@ -3,12 +3,12 @@ title: Paper accepted and paper published
 ---
 
 A paper co authored by current and former researchers of the group has just been 
-publised and another has just been accepted to ECOOP
+publised and second paper has just been accepted to ECOOP
 
 A paper by [Thomas Dinsdale-Young](https://cs.au.dk/~tyoung/), [Pedro da Rocha Pinto](https://psvg.doc.ic.ac.uk/people/da-rocha-pinto.html) 
 and [Philippa Gardner](https://psvg.doc.ic.ac.uk/people/gardner.html), 
 [A perspective on specifying and verifying concurrent modules](https://www.sciencedirect.com/science/article/pii/S2352220817300871) 
-has just been published in the Journal of Logical and Algebraic Methods in Programming.
+has just been published in the [Journal of Logical and Algebraic Methods in Programming](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming).
 
 The paper offers a survey of a range of techniques for specifying concurrent modules, 
 using the example of a counter module to illustrate the benefits and limitations of each. 
-- 
GitLab