Simon J. Thompson A Logic for Miranda. 339-365 1989 1 Formal Asp. Comput. 4 db/journals/fac/fac1.html#Thompson89