?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Hughes%2C+John+R.D&rft.aulast=Hughes&rft.aufirst=John+R.D&rft.date=2008&rft.title=Reasoning+about+programes+via+operational+semantics%3A+Requirement+for+a+support+system.+&rft.btitle=Automated+Software+Engineering&rft.genre=bookitem