home.md

@@ -20,7 +20,7 @@ This is a work in progress: the first version has a single refactoring operation
 # Publications
 
 *  The research report is available at https://hal.archives-ouvertes.fr/hal-01248121 .
-*  An "article":http://arxiv.org/abs/1607.02226 was presented at the _4th International Workshop on Verification and Program Transformation_ (available in "Electronic Proceedings in Theoretical Computer Science":http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2016).
+*  An [article](http://arxiv.org/abs/1607.02226) was presented at the _4th International Workshop on Verification and Program Transformation_ (available in [Electronic Proceedings in Theoretical Computer Science](http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2016) ).
 
 # Limitations