THE SPECIFICATION OF NAVSTREET