Abstraction versus Implementation Issues in Formalizing the NIEHS Application Profile
Firenze University Press