zerokarmaleft

@book{Jacky:1996,
 author = {Jacky, Jonathan},
 title = {The Way of Z: Practical Programming with Formal Methods},
 year = {1996},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

sixtenbe

#!/usr/bin/python2


# Copyright (C) 2016 Sixten Bergman
# License WTFPL
#
# This program is free software. It comes without any warranty, to the extent
# permitted by applicable law. 
# You can redistribute it and/or modify it under the terms of the Do What The
# Fuck You Want To Public License, Version 2, as published by Sam Hocevar. See