Text this: Abstract software specifications :