E golden reference guide : a concise guide to the e verification language as implemented by Versity's Specman Elite version 4.1
Ringwood : Doulos,
2003.
"Version 1.3".