TY - BOOK AU - Lano,R.J. TI - A technique for software and systems design SN - 0444853545 PY - 1979/// CY - Amsterdam PB - North-Holland KW - Computer programs ER -