Refinement and Rodin

• Slides on ADTs and refinement.
• Paper by Hoare et al, Data Refinement Refined, Oxford Univ Technical Report, 1985.
• Slides on Rodin and refinement.
• Rodin 3.8.0 Download.
• Rodin User Manual
• Rodin Handbook version 2.8 HTML and PDF. Also available PDF local copy.

• Rodin machines
  • Two Byte Counter
  • Queue