The variety of variables in computer-aided real-time programming (2002)

by L Wildman, C J Fidge
Venue:Refine 2002: Proceedings of the BCS/FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science