@misc
{TN_libero_mab2,
author = {
Mariotti, Maria Alessandra
},
title = {
Introduction to Proof: The Mediation of a Dynamic Software Environment
},
publisher = {Kluwer Academic Publishers},
isbn = {0013-1954},
isbn = {1573-0816},
year = {2000},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}