On specifications,theories, and models with higher types

SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Explicit Graphs in a Functional Model for Spatial Databases

IEEE Transactions on Knowledge and Data Engineering

HASCASL: Towards Integrated Specification and Development of Functional Programs

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

Applying algebraic approaches for modeling workflows and their transformations in mobile networks

Mobile Information Systems