Takao Miura Nesting Quantification in a Visual Data Manipulation Language. 167-196 1994 12 Data Knowl. Eng. 2 db/journals/dke/dke12.html#Miura94