diff --git a/prism/README.txt b/prism/README.txt index cd12e5df..d041c2d9 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -92,7 +92,8 @@ We also gratefully acknowledge contributions by: - Rashid Mehmood - Joachim Meyer-Kayser - Fabio Somenzi - + - Alistair John Strachan + For more details see: http://www.cs.bham.ac.uk/~dxp/prism/people.php