A coinduction principle for recursive data types based on bisimulation | IEEE Conference Publication | IEEE Xplore