The formal specification of safety requirements for storing explosives Paul MukherjeeVictoria Stavridou OriginalPaper Pages: 299 - 336
Categorical ML — Category-theoretic modular programming Esther Dennis-JonesDavid E. Rydeheard OriginalPaper Pages: 337 - 366
A single complete rule for data refinement P. H. B. GardinerCarroll Morgan OriginalPaper Pages: 367 - 382