G.: A total approach to partial algebraic specification (2002)

by J Meseguer, Ro¸su
Venue:In: ICALP 2002, LNCS 2380, 572–584