您即将离开知乎,请注意您的帐号和财产安全。
http://www.tks.cs.uni-frankfurt.de/data/teaching/ss12/th-inf-2/skript-schnitger-ss11.pdf