The T-Ruby Design System

Robin Sharp, Ole Rasmussen. The T-Ruby Design System. Formal Methods in System Design, 11(3):239-264, 1997.

@article{SharpR97,
  title = {The T-Ruby Design System},
  author = {Robin Sharp and Ole Rasmussen},
  year = {1997},
  tags = {design, Ruby},
  researchr = {https://researchr.org/publication/SharpR97},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {11},
  number = {3},
  pages = {239-264},
}