Talk:Steve Reeves (computer scientist)

Notability
Steve Reeves is noted for his work on the semantics of the Z notation, which was important for improving the international ISO standard for Z. — Jonathan Bowen (talk) 18:24, 13 January 2010 (UTC)