You can buy this project and download/modify it how often you want.
Files of the artifact io7m-smfj-specification version 0.6.0 from the group com.io7m.smfj.