Anyone have any experience in using Z or teaching Z at the High School or Jr. College level? I'm looking for any help and resources that would useful in preparing to teach, and to plan and prepare lesson guides for an introductory class in formal software specification. Grant Q <mailto:Quinlan@ACM.org>