@book{525, author = {Stone, R.}, title = {Program Construction}, publisher = {Cambridge University Press}, year = {1988}, address = {Cambridge} }