TY - BOOK ID - 7037745 TI - The construction of formal specifications : an introduction to the model-based and algebraic approaches AU - Turner, John G. AU - McCluskey, T. Lee PY - 1994 SN - 0077077350 9780077077358 PB - London : McGraw-Hill, DB - UniCat KW - Software engineering KW - Software engineering. UR - https://www.unicat.be/uniCat?func=search&query=sysid:7037745 AB - ER -