资料来源 : Free On-Line Dictionary of Computing

Hoare powerdomain
     
        {powerdomain}