Define a map as a structure whose elements … [1-> 11 | 2-> 12 | 3-> 13] has indices 1,2 and 3, and elements respectively 11,12 and … an element of a map." [an optional header specifies index, index range and permissible element value range.]
Google-1
Google-2
Copyright clearance needed for quotation.