Robert B. Terwilliger: ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications. University of Illinois Urbana-Champaign, USA 1987