Yu.V.Lebedev. S.A.Logvinov. Integration of flow analysis with function analysis.