Inklings: a tumblelog

Beyond Ada: The First Paranoid Programming Language

Heh!