Deriving algorithms on binary labelled trees (1989)

by J Jeuring
Venue:Proceedings SION Computing Science in the Netherlands