_id,doi,title
4476,10.1145/503272.503279,Lazy abstraction