SRA user guide
Subtitle: Stepwise Refinement Aid: a tool for interactive programming.
Series: Technical report / University of Aston. Computer Centre -- TR83001
Publisher: University of Aston.Computer Centre
Published: 1983
Place of publication: Birmingham
Language: eng