diff --git a/teaching/ModelsComputation.md b/teaching/ModelsComputation.md index e4cd80c4c59884f3d892de249f9e6bda608d56b6..b6a142755b7f671cfe5685578e3c370f394d6dac 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.