B. Möller
-
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
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering