@misc
{TN_libero_mab2,
author = {
Sieber, Kurt
},
title = {
Full abstraction for the second order subset of an ALGOL-like language (preliminary report)
},
keywords = {
Technische Informatik
,
fully abstract models
},
year = {2014-04-03},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}