@BOOK{rosen,
   AUTHOR = "Kenneth H. Rosen",
   TITLE = {Discrete Mathematics and Its Applications},
   EDITION = "fourth",
   PUBLISHER = "McGraw-Hill International",
   YEAR = 1999}

@TECHREPORT{budi99,
   AUTHOR = "Budi Rahardjo",
   TITLE = {Penggunaan Formal Methods Dalam Disain Perangkat Keras},
   INSTITUTION = {PPAUME ITB},
   NUMBER = {PPAUME-TR-1999-01},
   MONTH = {January},
   YEAR = 1999}

@BOOK{wiener,
   AUTHOR = "Lauren Ruth Wiener",
   TITLE = {Digital Woes: Why We Should Not Depend on Software},
   PUBLISHER = {Addison-Wesley},
   YEAR = 1993}

@BOOK{schneier96,
   AUTHOR = "Bruce Schneier",
   TITLE = {Applied Cryptography: Protocols, Algorithms, and
      Source Code in C},
   EDITION = "second",
   PUBLISHER = "John Wiley \& Sons, Inc.",
   YEAR = 1996}

@ARTICLE{hoare78,
   AUTHOR = "C. A. R. Hoare",
   TITLE = {Communicating Sequential Processes},
   JOURNAL = "Communication of the ACM",
   PAGES = {666-677},
   VALUME = 21,
   MONTH = "August",
   YEAR = 1978}

@BOOK{hoare95,
   AUTHOR = "C. A. R. Hoare",
   TITLE = {Communicating Sequential Processes},
   PUBLISHER = "Prentice-Hall",
   YEAR = 1995}

@BOOK{holzmann91,
   AUTHOR = "Gerrard J. Holzmann",
   TITLE = {Design and Validation of Computer Protocols},
   PUBLISHER = "Prentice-Hall",
   YEAR = 1991}

@BOOK{milner,
   AUTHOR = "R. Milner",
   TITLE = {A Calculus of Communicating Systems},
   NOTE = "Lecture Notes in Computer Science vol. 92",
   PUBLISHER = "Springer-Verlag",
   YEAR = 1980}

@BOOK{petroski92,
   AUTHOR = "Henry Petroski",
   TITLE = {To Engineer is Human: The Role of Failure in Successful Design},
   PUBLISHER = "Vintage Books",
   YEAR = 1992}

@BOOK{peterson95,
   AUTHOR = "Ivars Peterson",
   TITLE = "Fatal Defect: Chasing Killer Computer Bugs",
   PUBLISHER = {Times Books},
   YEAR = 1995}