@book
{TN_libero_mab2,
author = {
Brand, Daniel
},
title = {
Algorithms for incremental synthesis
},
publisher = {IBM},
year = {1996},
booktitle = {Research report ; RC / International Business Machines Corporation, Thomas J. Watson Research Center ; 20352},
address = {
Almaden [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}