Added two references as per NY's request:

- http://mrg.doc.ic.ac.uk/kohei.html which has the label InMemoryOfKH

- Vladi & Edmund EATCS article which has the label vladiETAPS.

- My own FSEN paper.
Now I added a refernce to my FSEN work that I announced in my previous
commit.