A series of tutorials for the Specification Integration Facility (SpecIF) is now maintained at SpecIF Pages Repo and published at SpecIF Home.