@inbook{ae92e014737c4fafb1267f6340aaf154,
title = "On Normal Forms for Structured Specifications with Generating Constraints",
abstract = "Hartmut Ehrig and others in [EWT83] studied normal form results for complex generating constraints imposed on basic specifications. Since then this work has been followed by subsequent results concerning normal forms for structured specifications, typically built from basic specifications using union, translation and hiding. We consider generating constraints as additional specification-building operations and follow and extend the results concerning normal forms for the resulting specifications with various forms of generating constraints.",
author = "Donald Sannella and Andrzej Tarlecki",
year = "2018",
doi = "10.1007/978-3-319-75396-6_15",
language = "English",
isbn = "978-3-319-75395-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "266--284",
booktitle = "Graph Transformation, Specifications, and Nets",
address = "United Kingdom",
}