Proceedings of the 2014 Forum on Specification and Design Languages (FDL)
Volume 978-2-9530504-9-3 - 2014