Demetrovics, J. (1985). Computer-aided specification techniques. World Scientific.
Dyfyniad Arddull ChicagoDemetrovics, János. Computer-aided Specification Techniques. World Scientific, 1985.
Dyfyniad MLADemetrovics, János. Computer-aided Specification Techniques. World Scientific, 1985.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.