Eine formelle Beschreibung des Algorithmus findet sich hier (Anlage 5).