Where Do Operations Come from? A Multiparadigm Specification Technique
Zave, Pamela, and Michael Jackson. 1996. “Where Do Operations Come from? A Multiparadigm Specification Technique.” Software Engineering, IEEE Transactions on 22 (7): 508–528.
BibTeX
@article{zaveWhereOperationsCome1996,
title = {Where Do Operations Come from? {{A}} Multiparadigm Specification Technique},
author = {Zave, Pamela and Jackson, Michael},
year = 1996,
journal = {Software Engineering, IEEE Transactions on},
volume = {22},
number = {7},
pages = {508--528},
publisher = {IEEE}
}