Cross Reference Search for Alloy