From 0bb3b9751eeaa388b0351b3a15628d88c7b0c821 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 21 Nov 2016 15:36:24 +0000
Subject: [PATCH] Update ModelsComputation.md

---
 teaching/ModelsComputation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/teaching/ModelsComputation.md b/teaching/ModelsComputation.md
index e4cd80c..b6a1427 100644
--- a/teaching/ModelsComputation.md
+++ b/teaching/ModelsComputation.md
@@ -29,7 +29,7 @@ Tutorial solutions will be published here before the next week's tutorial.
 
 Recommended Reading: 	
 H.R. Nielson and F. Nielson (1999). Semantics with Applications: A Formal Introduction, originally published in 1992 by John Wiley and Sons.
-[Revised edition] (http://www.doc.ic.ac.uk/~pg/Computation/book.pdf)
+[Revised edition](http://www.doc.ic.ac.uk/~pg/Computation/book.pdf)
 
 G. Winskel (1993). The Formal Semantics of Programming Languages, MIT Press. 
 This is an excellent introduction to both the operational and denotational semantics of programming languages.
-- 
GitLab