@inproceedings{mci/Bendisposto2006,
author = {Bendisposto, J. AND Leuschel, M.},
title = {Rapid Visualization of B Specifications containing Higher-Order Recursive Functions},
booktitle = {Softwaretechnik-Trends Band 26, Heft 2},
year = {2006},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}