{"created": {"type": "/type/datetime", "value": "2009-12-10T18:10:06.554000"}, "subjects": ["Computer programs", "Operating systems (Computers)", "Verification"], "latest_revision": 3, "key": "/works/OL5905253W", "title": "Proving operating systems correct", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL1457541A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2010-12-05T00:57:01.279076"}, "covers": [4275620], "revision": 3}