A Logic for Miranda, Formal Aspects of Computing 1(1989 (0)

by S Thompson