Structural induction in institutions. (2011)

by R Diaconescu
Venue:Inf. Comput.,