@misc
{TN_libero_mab2,
author = {
Pettorossi, Alberto
},
title = {
Derivation of efficient programs for computing sequences of actions
},
publisher = {Elsevier BV},
isbn = {0304-3975},
keywords = {
General Computer Science
,
Theoretical Computer Science
},
year = {1987},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}