Trusted source translation of a total function language (2008)

by G Li, K Slind
Venue:In Tools and Algorithms for Construction and Analysis of Systems (TACAS