Resource bounded measure

Summary