Haim Kilov, Bernhard Rumpe, Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems. Volume 523 of The Kluwer International Series in Engineering and Computer Science, Springer, 1999. [doi]
@book{0035620, title = {Behavioral Specifications of Businesses and Systems}, year = {1999}, doi = {10.1007/978-1-4615-5229-1}, url = {http://dx.doi.org/10.1007/978-1-4615-5229-1}, researchr = {https://researchr.org/publication/0035620}, cites = {0}, citedby = {0}, editor = {Haim Kilov and Bernhard Rumpe and Ian Simmonds}, volume = {523}, series = {The Kluwer International Series in Engineering and Computer Science}, publisher = {Springer}, isbn = {978-1-4615-5229-1}, }