Title: Mobile data and the KROC occam compiler
First published: 2002