CITATION STYLE
Wayne, H. (2018). PlusCal. In Practical TLA+ (pp. 23–42). Apress. https://doi.org/10.1007/978-1-4842-3829-5_2
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley