Visual Communication of Formal Design Properties - A Case Study. - Delbert Hart; Charles Calkins (VL, 1994)

Visual Presentation of Software Specifications and Designs. - Gruia-Catalin Roman; Delbert Hart; Charles Calkins (IWSSD, 1996)