A fully verified container library2018-09-010 PRE AI DOI:10.1007/s00165-017-0435-1OriginalOriginal request for helpShareSaveAbstract En