Leiner (1930), over a period of twenty years, was able to observe only twenty cases of which eighteen were fatal. Yet, when Ritter von Rittershain (1878) first described the disease he based his observations on no fewer than 279 cases. These facts introduce a doubt as to whether or not Ritter's original series was a true clinical entity; that there was some contemporary confusion on this point ...

Holger Hinrichsen, Hans Eveking, and Gerd Ritter Dept. of Electrical and Computer Engineering Darmstadt University of Technology, D-64283 Darmstadt, Germany hinrichsen/eveking/[email protected] Abstract. A method of formally correct synthesis is presented and applied to the automatic construction of pipelined processors. The approach is based on a small set of correctness-preserving tra...