A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing (Ellis Horwood Series in Computers & Their Applications)