@book{4cfb97e0caae11dd9473000ea68e967b,
title = "Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software",
editor = "Robert Gl{\"u}ck and Zhenjiang Hu",
note = "DIKU, Department of Computer Science, University of Copenhagen. DIKU Report No. 05/07; 1st DIKU-IST Joint Workshop on the Foundations of Software ; Conference date: 23-09-2005 Through 24-09-2005",
year = "2005",
language = "English",
series = "Department of Computer Science. University of Copenhagen. Technical Report",
number = "2005/07",
publisher = "Department of Computer Science, University of Copenhagen",
}