A formal model of real-time program compilation (2002)

by K Lermer, C J Fidge
Venue:Theoretical Computer Science