@ARTICLE{Barnett-Schulte01,
AUTHOR = "Mike Barnett and Wolfram Schulte",
title = "The {ABC}s of Specification: {AsmL}, Behavior, and Components",
journal = "Informatica",
month = "Nov.",
year = "2001",
volume = 25,
number = 4,
pages = {517--526}
}