@phdthesis{Bog08,
AUTHOR = {Bogan, Sebastian},
TITLE = {Formal Specification of a Simple Operating System},
YEAR = {2008},
URL = {http:///publikationen/Bog08.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}