@book { ImplementierungnumerischerverifizierenderVerfahrenmitgraphischerBenutzerschnittstelleunterOberonXSC,
    title = "Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC",
    author = "Markus {Lebender}",
    year = "2003",
    publisher = "Diplom.de",
    address = "Hamburg, Deutschland",
    doi = "10.3239/9783832466831",
    url = "https://m.diplom.de/document/222061"
}