Behavioral consistency of C and Verilog programs using bounded model checking. Clarke E, Kroening D. E Clarke, D Kroening, K Yorav - Proceedings 2003. Design …, 2003 - ieeexplore.ieee.org GSID: 9E_dfUQ_wt8J
The factory pattern in API design: A usability evaluation. Myers B, Stylos J. B Ellis, J Stylos, B Myers - 29th International Conference on …, 2007 - ieeexplore.ieee.org GSID: ah2ZrY4ySooJ
Pattern languages in HCI: A critical review. Dearden A. A Dearden, J Finlay - Human–computer interaction, 2006 - Taylor & Francis GSID: q6BLON6L7T8J