The formal specification of a small bookshop information system | IEEE Journals & Magazine | IEEE Xplore