Specification for a Lightweight Microbrowser for interactive tv applications, based on and compatible with WML