mathiasbynens/small — pull request #28 by alrra (2013-04-12 15:25:18+00:00)
Title: Promela

Useful links:
* http://spinroot.com/spin/Man/promela.html
* http://en.wikipedia.org/wiki/Promela