id: 70944805
dt: a
an: 70944805
au: Miculan, Marino; Yemane, Kidane
ti: A unifying model of variables and names
so: FoSSaCS, 170-186 (2005).
py: 2005
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-31982-5_11