TY - BOOK ID - 127032828 TI - A formalisation of design methods: a Gamma-calculus approach to system design with an application to text editing PY - 1993 SN - 0131061135 9780131061132 PB - New York (N.Y.): Ellis Horwood, DB - UniCat KW - System Design KW - Text editors (Computer programs) KW - Computer software UR - https://www.unicat.be/uniCat?func=search&query=sysid:127032828 AB - ER -