@misc{Draheim2002,
author = {Draheim, Dirk and Fehr, Elfriede and Weber, Gerald},
year = {2002},
title = {The definition of the NSP type system},
howpublished = "http://dx.doi.org/10.17169/refubium-22240",
}