The Unified Computation Laboratory: Modelling, Specifications and Tools (Institute of Mathematics & Its Applications Conference Series, New S.)