ininet.org//ininet.org/formal-specification-and-design-techniques.html?page=3