@book
{TN_libero_mab2,
author = {
Knapp, Alexander
},
title = {
A formal approach to object oriented software engineering
},
publisher = {},
keywords = {
Hochschulschrift
},
year = {2000},
address = {
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}