Slides [] from Jim Horning's invited talk "The Larch Shared Language: Some Open Problems" at WADT'95.
Draft [] of a chapter on Specification Languages from a forthcoming IFIP State-of-the-Art Report.
The revised version of Chapters 9 and 10 of a forthcoming book by Loeckx, Ehrich, and Wolf is available as compressed Postscript.
The presentation of CoFI and the Tentative Design of CASL at TAPSOFT'97 is available []. It will shortly be revised to take account of the recent changes that are leading to the final design proposal.