Completeness of a Visual Computation Model. - Timothy B. Brown; Takayuki Dan Kimura (Softw. Concepts Tools, 1994)