_id,doi,title
4463,10.1007/978-3-540-45069-6_27,Thread-modular abstraction refinement