{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T05:25:12Z","timestamp":1698125112420},"reference-count":0,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2003,3,24]],"date-time":"2003-03-24T00:00:00Z","timestamp":1048464000000},"content-version":"vor","delay-in-days":4465,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Computer Graphics Forum"],"published-print":{"date-parts":[[1991,1]]},"abstract":"<jats:p>In this paper the formal specification of a part of level la of GKS is given in the algebraic specification language OBJ. It shows that it is possible to produce a formal specification of a substantial part of GKS which is of manageable size and complexity specifying the appropriate level of abstraction of the system and using a suitable formal technique.<\/jats:p>","DOI":"10.1111\/1467-8659.1010011","type":"journal-article","created":{"date-parts":[[2004,12,21]],"date-time":"2004-12-21T12:42:59Z","timestamp":1103632979000},"page":"11-25","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Formal Specification of Level la of GKS"],"prefix":"10.1111","volume":"10","author":[{"given":"Ljiljana B.","family":"Damnjanovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2003,3,24]]},"container-title":["Computer Graphics Forum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1111%2F1467-8659.1010011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1111\/1467-8659.1010011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T06:26:49Z","timestamp":1698042409000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1111\/1467-8659.1010011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1111\/1467-8659.1010011"],"URL":"https:\/\/doi.org\/10.1111\/1467-8659.1010011","archive":["Portico"],"relation":{},"ISSN":["0167-7055","1467-8659"],"issn-type":[{"value":"0167-7055","type":"print"},{"value":"1467-8659","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]},"assertion":[{"value":"2003-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}