An inductive definition approach to ramifications (1998)

by M Denecker, D Theseider Duprè, K Van Belleghem
Venue:Linköping Electronic Articles in Computer and Information Science