@book{a523ed98e51a4996a76b5ac6122d6bea,
title = "Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software",
editor = "Robert Gl{\"u}ck and Fritz Henglein and Zhenjiang Hu and Masato Takeichi",
year = "2011",
language = "English",
series = "Department of Computer Science. University of Copenhagen. Technical Report",
number = "2011/01",
publisher = "Department of Computer Science, University of Copenhagen",
note = "4th DIKU-IST Joint Workshop on Foundations of Software ; Conference date: 10-01-2011 Through 14-01-2011",
}