Bendisposto, J.Leuschel, M.2023-05-222023-05-222006https://dl.gi.de/handle/20.500.12116/41574enRapid Visualization of B Specifications containing Higher-Order Recursive FunctionsText/Journal Article0720-8928