generate textual specification, fixes #12