Describir: Abstract software specifications 1979