By a " box integral " we mean here an expectation | r − q| s where r runs over the unit n-cube, with q and s fixed, explicitly:

William Beatty, the surgeon aboard the Victory who tended Nelson in his final moments, had an unusual set of surgical instruments, put together to his own specification In 2005, the bicentenary of the battle of Trafalgar, much attention focused on Vice Admiral Horatio Nelson, his achievements, and untimely death at the hands of a French sharpshooter firing from the Redoubtable. Perhaps we shoul...

Irrespective of the many different implementation paradigms, it is important that client level specifications allow to balance freedom from implementation bias and properly restricting the possible implementations to the ones that the client desires. Algebraic specification of the black-box behavior of a system provides just this, if a careful choice of what comprises desired output is made. We...