@article{stark-java-cara,
        AUTHOR = "E. W. Stark",
        TITLE = "Formal Specification of {CARA} in {Java}",
        YEAR = 2004,
	VOLUME = 5,
	NUMBER = 4,
	PAGES = "331--350",
	JOURNAL = "Software Tools for Technology Transfer"
}