Verification of trickling filter models using Surfpac | lit.salon