Program Development by Stepwise Refinement and Related Topics
Gehani, N.Volume:
60
Language:
english
Journal:
Bell System Technical Journal
DOI:
10.1002/j.1538-7305.1981.tb00246.x
Date:
March, 1981
File:
PDF, 2.44 MB
english, 1981