?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.jlap.2013.05.007&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Laura&rft.au=Kov%C3%A1cs%2C+Laura&rft.aulast=Kov%C3%A1cs&rft.issn=1567-8326&rft.pages=241-242&rft.issue=8&rft.volume=82&rft.date=2013&rft.title=Journal+of+Logic+and+Algebraic+Programming&rft.atitle=Special+issue+on+Automated+Specification+and+Verification+of+Web+Systems+(Editorial)&rft.genre=article