Programming from Specifications. Morgan, C. C. Prentice Hall, 1990.
bibtex   
@book{Morgan90,
  author = {C. C. Morgan},
  title = {{Programming from Specifications}},
  publisher = {Prentice Hall},
  year = 1990
}
Downloads: 0