Robin Sharp Ole Rasmussen The T-Ruby Design System. 239-264 1997 11 Formal Methods in System Design 3 db/journals/fmsd/fmsd11.html#SharpR97