Youngju Song, Dongjae Lee: Refinement Composition Logic. Proc. ACM Program. Lang. 8(ICFP): 573-601 (2024)