@book
{TN_libero_mab2,
author = {
Dold, Axel
},
title = {
Mechanized semantics of simple imperative programming constructs
},
publisher = {Univ., Fak. für Informatik},
keywords = {
Theoretische Informatik
},
year = {1996},
booktitle = {Ulmer Informatik-Berichte ; 96,11},
address = {
Ulm
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}