{"languages": [{"key": "/l/eng"}], "subtitle": "Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 (Workshops in Computing)", "last_modified": {"type": "/type/datetime", "value": "2008-04-29 13:35:46.87638"}, "publishers": ["Springer"], "number_of_pages": 307, "isbn_13": ["9780387198866"], "isbn_10": ["0387198865"], "publish_date": "January 1994", "key": "/b/OL7444296M", "authors": [{"key": "/a/OL460063A"}], "title": "6th Refinement Workshop", "type": {"key": "/type/edition"}, "id": 10136482, "revision": 1}