Gabriel J. Ferrer A formal language and analysis tool for black box specifications. 12-18 2009 24 J. Comput. Sci. Coll. 5 https://dl.acm.org/doi/10.5555/1516595.1516599 db/journals/jcscoll/jcscoll24.html#Ferrer09