An inductive definition approach to ramifications (1998)

by M Denecker, D Theseider, K van Belleghem
Venue:Linköping Electronic Articles in Computer and Information Science 3(7