Formal Methods in Software Engineering

Capturing constrained constructor patterns in matching logic