60. Birthdays:
Hanne Riis Nielson & Flemming Nielson 2016
Chris Hankin:
Game Theory and Industrial Control Systems. 178-190 David A. Schmidt:
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. 252-271
maintained by

, founded at
