@phdthesis{Bokowski2002,
author = {Bokowski, Boris},
year = {2002},
title = {A Framework for Checking Programmer-Defined Constraints on the Definition and
Use of Program Elements in Java},
type = {Dissertation},
url = "http://dx.doi.org/10.17169/refubium-11508",
}